496 search results - page 64 / 100 » On-Chip Stochastic Communication |
122
click to vote
IJCAI
2007
15 years 5 months ago
2007
Motivated by applications such as the spread of epidemics and the propagation of influence in social networks, we propose a formal model for analyzing the dynamics of such networ...
150
click to vote
SIGMETRICS
2008
ACM
15 years 4 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
126
click to vote
PE
2000
Springer
15 years 3 months ago
2000
Springer
Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all bene...
130
click to vote
TMC
2010
15 years 2 months ago
2010
—Data storage has become an important issue in sensor networks as a large amount of collected data need to be archived for future information retrieval. Storage nodes are introdu...
151
click to vote
MOBIHOC
2009
ACM
16 years 4 months ago
2009
ACM
The study in mobile ad-hoc networks (MANET) is facing challenges brought by recent discovery of non-exponential behavior of the inter-contact time distribution of mobile nodes. In...