117 search results - page 6 / 24 » Avoiding State Explosion for Distributed Systems with Timest... |
106
click to vote
CMG
2003
14 years 11 months ago
2003
The queueing Petri net (QPN) paradigm provides a number of benefits over conventional modeling paradigms such as queueing networks and generalized stochastic Petri nets. Using qu...
88
Voted
ROBOCUP
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
IPPS
1998
IEEE
15 years 1 months ago
1998
IEEE
This paper? provides a description of our Network Time Interface M-Module NTI supporting high-accuracy external clock synchronization by hardware. The NTI is built around our custo...
80
Voted
TASE
2008
IEEE
15 years 3 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
DEDS
2010
14 years 9 months ago
2010
In discrete event systems, a given task can start executing when all the required input data are available. The required input data for a given task may change along the evolution...