2875 search results - page 51 / 575 » Distributed Reactive Machines |
DSRT
2003
IEEE
14 years 4 months ago
2003
IEEE
Distributed simulation enables participants situated in different geographical locations to share a common virtual world, which is called a Distributed Virtual Environment (DVE). ...
CW
2003
IEEE
14 years 4 months ago
2003
IEEE
This paper presents a distributed virtual reality environment for children called EVE— Environnements Virtuels pour Enfants. The virtual environment architecture is reactive age...
ICDCS
2003
IEEE
14 years 4 months ago
2003
IEEE
—We propose a generic framework for distributed broadcasting in ad hoc wireless networks. The approach is based on selecting a small subset of nodes to form a forward node set to...
CONCUR
2008
Springer
14 years 22 days ago
2008
Springer
Abstract. We propose a model of distributed timed systems where each component is a timed automaton with a set of local clocks that evolve at a rate independent of the clocks of th...
RSP
2007
IEEE
14 years 5 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...