4385 search results - page 125 / 877 » Abstraction for Concurrent Objects |
103
Voted
BIRTHDAY
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper surveys some recent works on the study of termination in a concurrent setting. Processes are π-calculus processes, on which type systems are imposed that ensu...
130
click to vote
AIME
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Decision support systems based on computerized Clinical Protocols (CP) and Clinical Practice Guidelines (CPG) fall short when dealing with patient co-morbidites, as this ...
130
Voted
CCGRID
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Recently we proposed algorithms for concurrent execution on multiple clusters [9]. In this case, data partitioning is done at two levels; first, the data is distribute...
139
Voted
CRV
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— We present a formal framework for robotic cooperation in which we use an extension to Petri nets, known as workflow nets, to establish a protocol among mobile agents b...
114
Voted
EUROCRYPT
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We provide identi£cation protocols that are secure even when the adversary can reset the internal state and/or randomization source of the user identifying itself, and w...