907 search results - page 157 / 182 » Monitoring of Real-Time Properties |
SIGOPSE
2004
ACM
14 years 1 months ago
2004
ACM
Wireless ad hoc networks of sensor nodes are envisioned to be deployed in the physical environment to monitor a wide variety of real-world phenomena. Almost any sensor network appl...
SWS
2004
ACM
14 years 1 months ago
2004
ACM
Technical advances in networks, operating systems and web based services are enabling new web-based services such as audiovisual surveillance, monitoring and recording of unfoldin...
GI
2004
Springer
14 years 1 months ago
2004
Springer
: Organic Computing is beginning to provide computer systems with organic and biological properties. We believe these systems will benefit from user interfaces that integrate the ...
GRID
2004
Springer
14 years 1 months ago
2004
Springer
Much experience has been gained with the protocols and mechanisms needed for discovery and allocation of remote computational resources. However, the preparation of a remote compu...
RAID
2004
Springer
14 years 1 months ago
2004
Springer
We present a formal framework for the analysis of intrusion detection systems (IDS) that employ declarative rules for attack recognition, e.g. specification-based intrusion detect...