47 search results - page 1 / 10 » Petruchio: From Dynamic Networks to Nets |
CAV
2010
Springer
13 years 8 months ago
2010
Springer
We introduce Petruchio, a tool for computing Petri net translations of dynamic networks. To cater for unbounded architectures beyond the capabilities of existing implementations, t...
JOT
2010
13 years 3 months ago
2010
In self-adaptive systems components are dynamically modified according to the execution environment requirement, where each component is a probable point of failure. Existing appr...
ICCNMC
2005
Springer
13 years 10 months ago
2005
Springer
Existing approaches for sensor networks suffer from a number of critical drawbacks. First, homogeneous deployments have been commonly assumed, but in practice multiple deployments ...
EJWCN
2011
12 years 11 months ago
2011
In opportunistic networks the availability of an end-to-end path is no longer required. Instead opportunistic networks may take advantage of temporary connectivity opportunities. ...
DCOSS
2008
Springer
13 years 6 months ago
2008
Springer
We describe LiveNet, a set of tools and analysis methods for reconstructing the complex behavior of a deployed sensor network. LiveNet is based on the use of multiple passive packe...