5599 search results - page 108 / 1120 » Abstract State Services |
110
click to vote
CCR
2006
15 years 1 months ago
2006
Abstract-- The need for efficient computation of approximate global state lies at the heart of a wide range of problems in distributed systems. Examples include routing in the Inte...
125
click to vote
SAC
2006
ACM
15 years 1 months ago
2006
ACM
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...
CP
2010
Springer
15 years 9 days ago
2010
Springer
Abstract. In this paper we consider the problem of computing the density of states of a Boolean formula in CNF, a generalization of both MAX-SAT and model counting. Given a Boolean...
132
click to vote
JOT
2010
15 years 5 days ago
2010
Abstract We propose a novel testing technique for object-oriented programs. Based on the state and activity models of a system, we construct an intermediate representation, which w...
116
click to vote
GLOBECOM
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Sensors equipped with energy harvesting and cooperative communication capabilities are a viable solution to the power limitations of Wireless Sensor Networks (WSNs) assoc...