6808 search results - page 67 / 1362 » Distributed Concurrency Control |
227
Voted
IDEAS
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper, we introduce a probabilistic relational data model as the basis for developing multi-agent probabilistic reasoning systems. Since our model subsumes the traditional...
166
Voted
CONCUR
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we show how a resource-oriented logic, separation logic, can be used to reason about the usage of resources in concurrent programs.
172
click to vote
IPPS
2008
IEEE
16 years 17 days ago
2008
IEEE
Website capacity determination is crucial to measurement-based access control, because it determines when to turn away excessive client requests to guarantee consistent service qu...
149
click to vote
IPPS
1994
IEEE
15 years 10 months ago
1994
IEEE
AVL trees with relaxed balance were introduced with the aim of improving runtime performance by allowing a greater degree of concurrency. This is obtained by uncoupling updating f...
206
click to vote
ACSD
1998
IEEE
15 years 10 months ago
1998
IEEE
We implement a finite state machine (FSM) domain for specifying and simulating control functionality of a system within the Ptolemy software environment. The FSM domain is success...