5084 search results - page 140 / 1017 » Proving Possibility Properties |
167
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present the discrete beeping communication model, which assumes nodes have minimal knowledge about their environment and severely limited communication capabilities. S...
139
Voted
BMCBI
2006
15 years 5 months ago
2006
Background: That the structure determines the function of proteins is a central paradigm in biology. However, protein functions are more directly related to cooperative effects at...
171
click to vote
JLP
2006
15 years 5 months ago
2006
We introduce CoCasl as a light-weight but expressive coalgebraic extension of the algebraic specification language Casl. CoCasl allows the nested combination of algebraic datatype...
167
click to vote
TMC
2008
15 years 5 months ago
2008
We consider the problem of finding "backbones" in multihop wireless networks. The backbone provides end-toend connectivity, allowing non-backbone nodes to save energy sin...
163
click to vote
JFP
2000
15 years 5 months ago
2000
Indeterminism is typical for concurrent computation. If several concurrent actors compete for the same resource then at most one of them may succeed, whereby the choice of the suc...