3733 search results - page 112 / 747 » Logics of communication and change |
ENTCS
2007
15 years 1 months ago
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...
105
click to vote
AMAST
2004
Springer
15 years 5 months ago
2004
Springer
Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to want to describe properties of a specified system also...
101
click to vote
GLVLSI
2003
IEEE
15 years 6 months ago
2003
IEEE
We introduce a simple hierarchical design technique for using dynamic domino circuits to build high-performance self-timed data path circuits. We wrap the dynamic domino circuit i...
SIGCOMM
2010
ACM
15 years 1 months ago
2010
ACM
Categories and Subject Descriptors General Terms
SAC
2009
ACM
15 years 8 months ago
2009
ACM
Self-healing gradients are distributed estimates of the distance from each device in a network to the nearest device designated as a source, and are used in many pervasive computi...