2850 search results - page 72 / 570 » On Timed Models and Full Abstraction |
183
click to vote
PATMOS
2007
Springer
16 years 9 days ago
2007
Springer
This work deals with the problem to optimise the energy consumption of an embedded system. On system level, tasks are assumed to have a certain CPU-usage they need for completion. ...
194
click to vote
TCS
2010
15 years 27 days ago
2010
We are interested in describing timed systems that exhibit probabilistic behaviour. To this purpose, we consider a model of Probabilistic Timed Automata and introduce a concept of ...
157
click to vote
RECOMB
2007
Springer
16 years 6 months ago
2007
Springer
Abstract. Given the substantial computational requirements of stochastic simulation, approximation is essential for efficient analysis of any realistic biochemical system. This pap...
140
click to vote
CONCUR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present a discretely timed spi-calculus. A primitive for key compromise allows us to model key compromise attacks, thus going beyond the standard Dolev–Yao attacker ...
138
click to vote
FSTTCS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. In [12] we started a research on a distributed-timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the ...