1302 search results - page 127 / 261 » From Liveness to Promptness |
CONCUR
2000
Springer
14 years 19 days ago
2000
Springer
This paper introduces process spaces, a unified theory of interacting systems. The trait, abstract executions, leads to a simple and general set formalism. For concurrent systems ...
ROBOCUP
1997
Springer
14 years 13 days ago
1997
Springer
Abstract. The automated generation of multimedia reports for timevarying scenes on the basis of visual data constitutes a challenging research goal with a high potential for many i...
CONCUR
2006
Springer
14 years 1 days ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
DAWAK
2006
Springer
13 years 12 months ago
2006
Springer
This paper describes problem of prediction that is based on direct marketing data coming from Nationwide Products and Services Questionnaire (NPSQ) prepared by Polish division of A...
EUROSYS
2006
ACM
13 years 12 months ago
2006
ACM
This paper describes and evaluates Fireflies, a scalable protocol for supporting intrusion-tolerant network overlays.1 While such a protocol cannot distinguish Byzantine nodes fro...