824 search results - page 51 / 165 » Model-Based Monitoring of Dynamic Systems |
ENTCS
2006
14 years 12 months ago
2006
We consider a first-order property specification language for run-time monitoring of dynamic systems. The language is based on a linear-time temporal logic and offers two kinds of...
106
click to vote
MASS
2010
14 years 9 months ago
2010
We present an integrated approach for supporting in-network sensor data processing in dynamic and heterogeneous sensor networks. The concept relies on data stream processing techni...
ICNP
2000
IEEE
15 years 4 months ago
2000
IEEE
The X-Bone dynamically deploys and manages Internet overlays to reduce con®guration eort and increase network component sharing. The X-Bone discovers, con®gures, and monitors ...
113
click to vote
EWSPT
2001
Springer
15 years 4 months ago
2001
Springer
We describe an approach based upon software process technology to on-the-fly monitoring, redeployment, reconfiguration, and in general dynamic adaptation of distributed software ap...
PERCOM
2009
ACM
15 years 6 months ago
2009
ACM
—We present a middleware platform for assembling pervasive applications that demand fault-tolerance and adaptivity in distributed, dynamic environments. Unlike typical adaptive m...