3468 search results - page 110 / 694 » An open logical framework |
ICPPW
2005
IEEE
15 years 6 months ago
2005
IEEE
Large–scale parallel applications performing global synchronization may spend a significant amount of execution time waiting for the completion of a barrier operation. Conseque...
106
click to vote
NETGAMES
2004
ACM
15 years 6 months ago
2004
ACM
The emergence of distributed Virtual Reality (VR) applications that run over the Internet has presented networked game application designers with new challenges. In an environment...
116
click to vote
CONCUR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...
108
Voted
VRML
1999
ACM
15 years 5 months ago
1999
ACM
We describe a VRML/Java-based virtual environment that is populated with heterogeneous articulated agents. In this simulated environment, agents compete for collecting certain obj...
97
Voted
INTERACT
2003
15 years 2 months ago
2003
: The paper presents the architecture and implementation of the IRIS Design Support Environment (DSE). This environment supports designers to create inclusive Internet content and ...