7557 search results - page 344 / 1512 » Modeling Timed Concurrent Systems |
159
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
We present a framework (Real-Time Calculus) for analysing various system properties pertaining to timing analysis, loads on various components and on-chip buffer memory requiremen...
139
click to vote
COMPSAC
2005
IEEE
16 years 9 days ago
2005
IEEE
Parallel changes are a basic fact of modern software development. Where previously we looked at prima facie interference, here we investigate a less direct form that we call seman...
154
click to vote
SAC
1998
ACM
15 years 11 months ago
1998
ACM
In a Video-on-Demand server, requests from different clients are independent of each other and may arrive at random time. Commercial systems may contain hundreds to thousands of c...
180
click to vote
COMPSAC
1997
IEEE
15 years 11 months ago
1997
IEEE
Many real-time database systems are now being used in safety-critical applications, in which human lives or expensive machinery may be at stake. Transactions in real-time database...
147
click to vote
CONCUR
2005
Springer
16 years 7 days 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 ...