Sciweavers

907 search results - page 154 / 182
» Monitoring of Real-Time Properties
Sort
View
HICSS
2008
IEEE
135views Biometrics» more  HICSS 2008»
14 years 2 months ago
Formal Foundation of Workflow Hyperpaths and a Graph Search Algorithm for Workflow Hyperpath Generation
While executing a process, many decisions are taken at its various decision points for selecting paths. There is a need for understanding and analyzing on various paths that emana...
Sinnakkrishnan Perumal, Ambuj Mahanti
ICDCSW
2007
IEEE
14 years 2 months ago
Exploiting Gossip for Self-Management in Scalable Event Notification Systems
1 Challenges of scale have limited the development of event notification systems with strong properties, despite the urgent demand for consistency, reliability, security, and other...
Ken Birman, Anne-Marie Kermarrec, Krzysztof Ostrow...
VLDB
2007
ACM
129views Database» more  VLDB 2007»
14 years 2 months ago
Processing Forecasting Queries
Forecasting future events based on historic data is useful in many domains like system management, adaptive query processing, environmental monitoring, and financial planning. We...
Songyun Duan, Shivnath Babu
COMPSAC
2006
IEEE
14 years 2 months ago
Testing Scenario Implementation with Behavior Contracts
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...
Donglin Liang, Kai Xu 0002
ICPR
2006
IEEE
14 years 2 months ago
Fault Detection in Distributed Systems by Representative Subspace Mapping
The high dimensionality of system observation, together with the frequent changes of system normal behavior resulting from workload variations, makes fault detection very difficu...
Haifeng Chen, Guofei Jiang, Kenji Yoshihira