644 search results - page 7 / 129 » A topological characterization of weakness |
COORDINATION
2007
Springer
15 years 3 months ago
2007
Springer
We suggest a Calculus for Mobile Ad Hoc Networks, CMAN. A node in a network is a processes equipped with a location, it may communicate with other nodes using synchronous local bro...
SIGMETRICS
2003
ACM
15 years 2 months ago
2003
ACM
CORR
2008
Springer
14 years 9 months ago
2008
Springer
BMCBI
2006
14 years 9 months ago
2006
Background: High throughput gene expression experiments yield large amounts of data that can augment our understanding of disease processes, in addition to classifying samples. He...
ENTCS
1998
14 years 9 months ago
1998
This paper shows how modal mu-calculus formulae characterizing finite-state processes up to strong or weak bisimulation can be derived directly from the well-known greatest fixp...