907 search results - page 148 / 182 » Monitoring of Real-Time Properties |
ADT
2008
13 years 8 months ago
2008
The clear trend toward the integration of current and emerging applications and services in the Internet launches new demands on service deployment and management. Distributed serv...
AOSD
2009
ACM
13 years 10 months ago
2009
ACM
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
IJFCS
2007
13 years 8 months ago
2007
Ranking Abstraction Ittai Balaban Computer Science Department, New York University, 251 Mercer St., New York, New York 10012, United States and Amir Pnueli Computer Science Departm...
VEE
2010
ACM
14 years 3 months ago
2010
ACM
Modern organizations face increasingly complex information management requirements. A combination of commercial needs, legal liability and regulatory imperatives has created a pat...
ICPP
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper investigates the power mode management problem for an IEEE 802.11-based mobile ad hoc network (MANET) that allows mobile hosts to tune to the power-saving (PS) mode. The...