6308 search results - page 168 / 1262 » Modeling Urgency in Timed Systems |
124
click to vote
FORMATS
2009
Springer
15 years 10 months ago
2009
Springer
Recently, the model of weighted timed automata has gained interest within the real-time community. In a previous work, we built a bridge to the theory of weighted automata and intr...
148
click to vote
B
2007
Springer
15 years 10 months ago
2007
Springer
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
118
click to vote
FORMATS
2003
Springer
15 years 9 months ago
2003
Springer
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two con...
117
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
Most previous work on information flow in process algebras has been based on untimed models of concurrency. It is obvious, however, that an observer might well use time to gain i...
139
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
We present the design of a computation engine for a real-time laparoscopic surgery simulator. Since this simulator requires realistic real-time and real-world behaviour, a physica...