3250 search results - page 84 / 650 » Quantum behaviors and networks |
CONCUR
2012
Springer
12 years 16 days ago
2012
Springer
Networks of timed automata (NTA) are widely used to model distributed real-time systems. Quite often in the literature, the automata are allowed to share clocks. This is a problem ...
QEST
2008
IEEE
14 years 4 months ago
2008
IEEE
CaVi provides a uniform interface to state-of-the-art simulation methods and formal verification methods for wireless sensor network. Simulation is suitable to examine the behavi...
ETFA
2008
IEEE
14 years 4 months ago
2008
IEEE
The reactivity of Networked Automation Systems (NAS) has direct influence on safety and quality aspects. It can be determined by a response time analysis, which itself can be calc...
CONEXT
2006
ACM
14 years 4 months ago
2006
ACM
In this paper is proposed a real mobility characterization study for wireless devices. For this, we use mobility metrics and statistic analysis to evaluate the behavior of device ...
IPPS
2008
IEEE
14 years 4 months ago
2008
IEEE
Immersive real-time large-scale network simulation is a technique that supports simulation of large-scale networks to interact with real implementations of network protocols, netw...