4350 search results - page 557 / 870 » Case studies for contract-based systems |
188
click to vote
ICTCS
2005
Springer
16 years 1 months ago
2005
Springer
We study the effect of laxity, or slack time, on the online scheduling of broadcasts with deadlines. The laxity of a request is defined to be the ratio between its span (differe...
195
click to vote
MKM
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...
169
click to vote
SG
2005
Springer
16 years 1 months ago
2005
Springer
We present a system using semi-autonomous agents to help artists express ideas. Agents control their representation on a canvas via interactions in agent space. They are given a se...
196
click to vote
ACMDIS
2004
ACM
16 years 1 months ago
2004
ACM
Design representations in user-centered design serve intentions for directing design process and communication functions for enlisting interdisciplinary participation. To disentan...
174
click to vote
ACMSE
2004
ACM
16 years 1 months ago
2004
ACM
The need to develop portable applications for hand-held devices is growing rapidly. The proliferation of handheld devices such as cellular telephones and Personal Digital Assistan...