2875 search results - page 51 / 575 » Distributed Reactive Machines |
171
click to vote
DSRT
2003
IEEE
15 years 11 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). ...
150
Voted
CW
2003
IEEE
15 years 11 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...
176
click to vote
ICDCS
2003
IEEE
15 years 11 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...
167
click to vote
CONCUR
2008
Springer
15 years 7 months 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...
180
click to vote
RSP
2007
IEEE
16 years 11 days 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...