880 search results - page 65 / 176 » Semantics-Based Concurrency Control |
CSFW
2005
IEEE
14 years 2 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...
INFOCOM
2003
IEEE
14 years 2 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
14 years 1 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
14 years 1 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
13 years 9 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...