1973 search results - page 304 / 395 » The Construction of Ludic Space |
132
click to vote
UIST
1999
ACM
15 years 10 months ago
1999
ACM
Most current interface designs require that the user focus their attention on them in order to be of value. However, as the price of computation falls, and computational capabilit...
204
click to vote
UIST
1999
ACM
15 years 10 months ago
1999
ACM
Freehand sketching has long had appeal as an artistic medium for conceptual design because of its immediacy in capturing and communicating design intent and visual experience. We ...
272
click to vote
ARTS
1999
Springer
15 years 10 months ago
1999
Springer
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...
232
click to vote
CAV
1999
Springer
15 years 10 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
201
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper deals with large, distributed real-time systems that have execution times and resource utilizations which cannot be characterized a priori. (The motivation for our work ...