3122 search results - page 597 / 625 » A Theory of Network Equivalence |
104
click to vote
EMSOFT
2006
Springer
15 years 3 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
116
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: Clustering the information content of large high-dimensional gene expression datasets has widespread application in "omics" biology. Unfortunately, the under...
112
click to vote
AIS
2006
Springer
14 years 12 months ago
2006
Springer
Today's computer network technologies are sociologically founded on hunter-gatherer principles; common users may be possible subjects of surveillance and sophisticated Interne...
CORR
2006
Springer
14 years 12 months ago
2006
Springer
The concept of distributed transmit beamforming is implicit in many key results of network information theory. However, its implementation in a wireless network involves the funda...
104
click to vote
IJFCS
2006
14 years 11 months ago
2006
We introduce the networks of Mealy multiset automata, and study their computational power. The networks of Mealy multiset automata are computationally complete. 1 Learning from Mo...