3911 search results - page 710 / 783 » Using Operational Architecture to Model Embedded Software |
125
Voted
UIST
1999
ACM
15 years 7 months ago
1999
ACM
We present experimental work which explores how the match (or mismatch) between the input space of the hands and the output space of a graphical display influences twohanded input...
126
Voted
FOSSACS
2006
Springer
15 years 6 months ago
2006
Springer
We define a new decidable logic for expressing and checking invariants of programs that manipulate dynamically-allocated objects via pointers and destructive pointer updates. The ...
136
Voted
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
This demo illustrates MAS-DisCoSim 4 PDP, a testbed environment for evaluating distributed multi-agent system solutions to pickup and delivery problems (PDPs). PDPs are well-studi...
144
Voted
VRML
2003
ACM
15 years 7 months ago
2003
ACM
Success of 3D applications on the Web inherently depends on object behavior and interaction. Current Web3D formats often fall short in supporting behavior modeling. This paper int...
158
Voted
SIGMETRICS
2006
ACM
15 years 8 months ago
2006
ACM
Understanding and managing the response time of web services is of key importance as dependence on the World Wide Web continues to grow. We present Remote Latency-based Management...