875 search results - page 102 / 175 » Representing distributed systems using the Open Provenance M... |
DEDS
2007
14 years 9 months ago
2007
The unfolding of a concurrent system represents in a compact manner all possible runs of this system. Unfoldings are used in many applications, ranging from model-checking (offlin...
CODES
2008
IEEE
15 years 4 months ago
2008
IEEE
To provide Quality of Service (QoS) guarantees in open and unpredictable environments, the utilization control problem is defined to keep the processor utilization at the schedula...
CVPR
2010
IEEE
14 years 10 months ago
2010
IEEE
This article presents a new method for non-rigid surface registration between a surface model and a surface of an internal organ in a given 3D medical image. The surface is repres...
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
We develop a model of normative systems in which agents are assumed to have multiple goals of increasing priority, and investigate the computational complexity and game theoretic ...
PPOPP
2012
ACM
13 years 5 months ago
2012
ACM
The actor model has already proven itself as an interesting concurrency model that avoids issues such as deadlocks and race conditions by construction, and thus facilitates concur...