345 search results - page 43 / 69 » Quantitative analysis of static models of processes |
ENTCS
2006
14 years 11 months ago
2006
In ad-hoc networks, autonomous wireless nodes can communicate by forwarding messages for each other. For routing protocols in this setting, it is known that a malicious node can p...
FOAL
2007
ACM
15 years 3 months ago
2007
ACM
We consider the problem of adding aspects to a strongly typed language which supports type classes. We show that type classes as supported by the Glasgow Haskell Compiler can mode...
126
click to vote
TOG
2008
14 years 11 months ago
2008
A semi-automatic approach is presented that enables the generation of a high-quality 3D model of a static object from an image sequence that was taken by a moving, uncalibrated co...
96
Voted
CORR
2010
Springer
14 years 12 months ago
2010
Springer
: In this paper we propose two analytically tractable stochastic models of non-slotted Aloha for Mobile Ad-hoc NETworks (MANETs): one model assumes a static pattern of nodes while ...
BMCBI
2008
14 years 12 months ago
2008
Background: Quantitative characterization of the topological characteristics of protein-protein interaction (PPI) networks can enable the elucidation of biological functional modu...