285 search results - page 27 / 57 » Relating two formal models of path-vector routing |
141
click to vote
SBMF
2010
Springer
14 years 8 months ago
2010
Springer
A notion of generalized regular expressions for a large class of systems modeled as coalgebras, and an analogue of Kleene's theorem and Kleene algebra, were recently proposed ...
116
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
This paper studies scalable data delivery algorithms in mobile ad hoc sensor networks with node and link failures. Many algorithms have been developed for data delivery and fusion...
128
click to vote
INFOCOM
2010
IEEE
14 years 11 months ago
2010
IEEE
—Wireless mesh networks have been widely deployed to provide broadband network access, and their performance can be significantly improved by using a new technology called netwo...
125
click to vote
FMCAD
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
110
click to vote
ALIFE
2007
15 years 1 months ago
2007
A class of generic models of protocells is introduced, which are inspired by the “Los Alamos bug” is but which, due to their abstraction level, can be applied to a wider set o...