2883 search results - page 264 / 577 » New Challenges in Dynamical Systems: The Networked Case |
299
click to vote
PADL
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
193
click to vote
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract--Mobile wireless Ad hoc NETworks (MANETs) naturally support a traffic mix of elastic and real-time flows but the shared nature and lossy properties of the radio medium mak...
198
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We introduce a general stochastic model for the spread of rumours, and derive mean-field equations that describe the dynamics of the model on complex social networks (in particula...
183
click to vote
ACSC
2005
IEEE
16 years 9 days ago
2005
IEEE
The mobility characteristic brings new challenges for research of P2P computing over the wireless mobile networking environment. Peers’ movements in wireless mobile network chan...
206
click to vote
RECOMB
2007
Springer
16 years 23 days ago
2007
Springer
Publicly-available data sets provide detailed and large-scale information on multiple types of molecular interaction networks in a number of model organisms. These multi-modal univ...