824 search results - page 51 / 165 » Model-Based Monitoring of Dynamic Systems |
106
Voted
ENTCS
2006
15 years 2 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...
130
Voted
MASS
2010
15 years 20 days 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...
131
Voted
ICNP
2000
IEEE
15 years 7 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 ...
142
Voted
EWSPT
2001
Springer
15 years 7 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...
112
Voted
PERCOM
2009
ACM
15 years 9 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...