5448 search results - page 974 / 1090 » Breakpoints and Time in Distributed Computations |
87
Voted
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
We describe an agent-based commentary system for computer games which produces real-time and post-game commentary for spectators. Our system adopts an embodied approach in which r...
147
Voted
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
In this paper, we describe an innovative infrastructure to support student participation and collaboration and help the instructor manage large or distance classrooms using multia...
137
Voted
ATVA
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
94
Voted
ECBS
2004
IEEE
15 years 4 months ago
2004
IEEE
In recent years, there has been an increased need for surveillance capabilities in both civilian and military arenas. Mobile unmanned sensor fleets have long been envisioned as a ...
111
Voted
AFRIGRAPH
2001
ACM
15 years 4 months ago
2001
ACM
Practical experience in porting a large virtual reality system from C/C++ to Java indicates that porting this type of real-time application is both feasible, and has several merit...