7891 search results - page 1286 / 1579 » A Distributed Scheduling Framework |
140
Voted
COLCOM
2008
IEEE
15 years 6 months ago
2008
IEEE
Community computing is an agent-based development paradigm for ubiquitous computing systems. In a community computing system, ubiquitous services are provided by cooperation among ...
163
Voted
CONCUR
2008
Springer
15 years 6 months ago
2008
Springer
We present an algorithm for partial order reduction in the context of a countable universe of deterministic actions, of which finitely many are enabled at any given state. This mea...
133
click to vote
CONCUR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We propose a framework for model-based diagnosis of systems with mobility and variable topologies, modelled as graph transformation systems. Generally speaking, model-bas...
139
Voted
COORDINATION
2008
Springer
15 years 6 months ago
2008
Springer
Recently, specific attention has been devoted to the development of service oriented process calculi. Besides the foundational aspects, it is also interesting to have prototype imp...
140
click to vote
CPAIOR
2008
Springer
15 years 6 months ago
2008
Springer
We consider the problem of estimating the model count (number of solutions) of Boolean formulas, and present two techniques that compute estimates of these counts, as well as eith...