880 search results - page 65 / 176 » Semantics-Based Concurrency Control |
159
click to vote
CSFW
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
137
click to vote
INFOCOM
2003
IEEE
15 years 11 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...
166
click to vote
LSSC
2001
Springer
15 years 10 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...
160
click to vote
WETICE
1998
IEEE
15 years 10 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...
133
click to vote
ECEASST
2008
15 years 6 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...