20126 search results - page 197 / 4026 » Timed Transition Systems |
111
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
– This paper addresses the problem of forbidden states of non safe Petri Net (PN) modelling discrete events systems. To prevent the forbidden states, it is possible to use condit...
144
click to vote
JAPLL
2010
14 years 10 months ago
2010
We discuss recent work generalising the basic hybrid logic with the difference modality to any reasonable notion of transition. This applies equally to both subrelational transiti...
171
click to vote
ATC
2008
Springer
15 years 5 months ago
2008
Springer
To overcome the rising complexity of computing systems, the paradigms of Autonomic Computing and Organic Computing have been introduced. By using an observer/controller architectur...
141
Voted
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper we present a software tool for the simulation of distributed real-time embedded systems. Our tool is based on the popular NS-2 package for simulating the networking ...
146
Voted
EUC
2008
Springer
15 years 5 months ago
2008
Springer
A generalized dynamic energy performance scaling (DEPS) framework is proposed for exploring applicationspecific energy-saving potential in hard real-time embedded systems. This so...