1015 search results - page 74 / 203 » Syntactic Control of Concurrency |
INFOCOM
2003
IEEE
15 years 3 months ago
2003
IEEE
— The aim of this article is to propose and analyse measurement-based admission control schemes. We distinguish between large-scale and small-scale systems, where scale is measur...
LSSC
2001
Springer
15 years 2 months ago
2001
Springer
Within the trend of object-based distributed programming, we present a non-intrusive graphical environment for remote monitoring and steering, IC2D: Interactive Control and Debuggi...
WETICE
1998
IEEE
15 years 2 months ago
1998
IEEE
This paper describes the design and implementation of a distributed file repository that supports data sharing in a variable connected environment. Our design is based on the obse...
ECEASST
2008
14 years 10 months ago
2008
: We study directed bigraph with negative ports, a bigraphical framework for representing models for distributed, concurrent and ubiquitous computing. With respect to previous vers...
DPD
2002
14 years 9 months ago
2002
The current standard in governing distributed transaction termination is the so-called Two-Phase Commit protocol (2PC). The first phase of 2PC is a voting phase, where the partici...