4350 search results - page 557 / 870 » Case studies for contract-based systems |
171
click to vote
ICTCS
2005
Springer
16 years 10 days 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...
181
click to vote
MKM
2005
Springer
16 years 10 days 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 ...
146
click to vote
SG
2005
Springer
16 years 9 days 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...
173
click to vote
ACMDIS
2004
ACM
16 years 8 days ago
2004
ACM
Design representations in user-centered design serve intentions for directing design process and communication functions for enlisting interdisciplinary participation. To disentan...
163
click to vote
ACMSE
2004
ACM
16 years 8 days 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...