907 search results - page 120 / 182 » Monitoring of Real-Time Properties |
SIGMETRICS
2006
ACM
14 years 2 months ago
2006
ACM
Abstract—In this paper, we present NetQuest, a flexible framework for large-scale network measurement. We apply Bayesian experimental design to select active measurements that m...
SAC
2010
ACM
14 years 3 months ago
2010
ACM
We consider self-stabilizing and self-organizing distributed construction of a spanner that forms an expander. The following results are presented. • A randomized technique to r...
RAID
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In order to detect a compromise of a running process based on it deviating from its program’s normal system-call behavior, an anomaly detector must first be trained wi...
SRDS
2005
IEEE
14 years 1 months ago
2005
IEEE
We propose and evaluate a novel framework for enforcing global coordination and control policies over interacting software components in enterprise computing environments. This fra...
AADEBUG
2005
Springer
14 years 1 months ago
2005
Springer
A complex software system may perform many program tasks during execution to provide the required functionalities. To detect and localize bugs related to the implementation of the...