907 search results - page 120 / 182 » Monitoring of Real-Time Properties |
122
Voted
SIGMETRICS
2006
ACM
15 years 9 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...
156
Voted
SAC
2010
ACM
15 years 10 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...
93
Voted
RAID
2009
Springer
15 years 10 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...
125
Voted
SRDS
2005
IEEE
15 years 9 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...
145
click to vote
AADEBUG
2005
Springer
15 years 9 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...