3387 search results - page 591 / 678 » Model-Checking for Real-Time Systems |
VRML
2000
ACM
14 years 1 months ago
2000
ACM
This paper presents a multicast approach to shared virtual worlds. A shared VRML world is described with integrated spatial audio in a freeware VRML browser. An implementation in ...
SIGGRAPH
1999
ACM
14 years 1 months ago
1999
ACM
The motion of fluids has been a topic of study for hundredsof years. In its most general setting, fluid flow is governed by a system of non-linear partial differential equation...
ROBOCUP
1999
Springer
14 years 1 months ago
1999
Springer
Arvand is a robot specially designed and constructed for playing soccer according to RoboCup rules and regulations for the medium size robots. This robot consists of three main par...
CONCUR
1992
Springer
14 years 1 months ago
1992
Springer
The states of a computing system bear information and change time, while its events bear time and change information. We develop a primitive algebraic model of this duality of tim...
NOSSDAV
1992
Springer
14 years 29 days ago
1992
Springer
Tactus addresses problems of synchronizing and controlling various interactive continuous-time media. The Tactus system consists of two main parts. The first is a server that synch...