3911 search results - page 710 / 783 » Using Operational Architecture to Model Embedded Software |
143
click to vote
UIST
1999
ACM
15 years 9 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...
152
click to vote
FOSSACS
2006
Springer
15 years 8 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 ...
162
click to vote
ATAL
2010
Springer
15 years 5 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...
167
click to vote
VRML
2003
ACM
15 years 10 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...
178
click to vote
SIGMETRICS
2006
ACM
15 years 10 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...