Sciweavers

827 search results - page 43 / 166
» Monitoring Interfaces for Faults
Sort
View
ASIAN
2003
Springer
102views Algorithms» more  ASIAN 2003»
15 years 5 months ago
Generating Optimal Linear Temporal Logic Monitors by Coinduction
Abstract. A coinduction-based technique to generate an optimal monitor from a Linear Temporal Logic (LTL) formula is presented in this paper. Such a monitor receives a sequence of ...
Koushik Sen, Grigore Rosu, Gul Agha
ICN
2007
Springer
15 years 6 months ago
ABW - Short-Timescale Passive Bandwidth Monitoring
ct Bandwidth usage monitoring is important for network troubleshooting and planning. Traditionally, used bandwidth is computed from router interface byte counters read by SNMP. Thi...
Sven Ubik, Demetres Antoniades, Arne Øsleb&...
MHCI
2007
Springer
15 years 6 months ago
Personalized mobile health monitoring for elderly
The key for successfully deploy mobile applications is the ability to understand the specific needs of its customers. In the field of mobile health monitoring, the currently most ...
Andreas Lorenz, Dorit Mielke, Reinhard Oppermann, ...
P2P
2007
IEEE
15 years 6 months ago
PEPINO: PEer-to-Peer network INspectOr
PEPINO is a simple and effective peer-to-peer network inspector. It visualises not only meaningful pointers and connections between peers, but also the exchange of messages betwee...
Donatien Grolaux, Boris Mejías, Peter Van R...
DATE
2008
IEEE
141views Hardware» more  DATE 2008»
15 years 6 months ago
Hot Wire Anemometric MEMS Sensor for Water Flow Monitoring
This paper presents an application based on a hot wire anemometric sensor in MEMS technology in the field of water flow monitoring. New generations of MEMS sensors feature remarka...
Massimiliano Melani, Lorenzo Bertini, Marco De Mar...