4604 search results - page 655 / 921 » Concurrency in Synchronous Systems |
85
Voted
MIDDLEWARE
2005
Springer
15 years 6 months ago
2005
Springer
This paper introduces dual-quorum replication, a novel data replication algorithm designed to support Internet edge services. Dual-quorum replication combines volume leases and qu...
92
Voted
PCI
2005
Springer
15 years 6 months ago
2005
Springer
In this paper, we present the rationale and the baseline of a notation which can be used on its own or as an extension to standard UML to facilitate specification of an interactive...
102
Voted
PPPJ
2004
ACM
15 years 6 months ago
2004
ACM
This paper discusses the current resurgence of interest in the Linda coordination language for parallel and distributed programming. Particularly in the Java field, there have be...
129
Voted
IFM
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
100
Voted
ISW
2004
Springer
15 years 6 months ago
2004
Springer
We study the security challenges faced by the mobile agent paradigm, where code travels and performs computations on remote hosts in an autonomous manner. We define universally co...