655 search results - page 70 / 131 » Coinduction in Concurrent Timed Systems |
RTCSA
2000
IEEE
15 years 4 months ago
2000
IEEE
In previous years, various real-time scheduling techniques have been proposed to improve the performance of a distributed multimedia system. However, not much work has been done o...
125
click to vote
TC
2010
14 years 6 months ago
2010
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
CSFW
2005
IEEE
15 years 5 months ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...
106
click to vote
WAIM
2004
Springer
15 years 5 months ago
2004
Springer
In distributed computing systems, processes in different hosts take checkpoints to survive failures. For mobile computing systems, due to certain new characteristics conventional d...
HYBRID
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...