623 search results - page 23 / 125 » Adapting the UPPAAL Model of a Distributed Lift System |
PODC
2010
ACM
14 years 10 days ago
2010
ACM
Large-scale hosting infrastructures require automatic system anomaly management to achieve continuous system operation. In this paper, we present a novel adaptive runtime anomaly ...
WECWIS
2009
IEEE
14 years 3 months ago
2009
IEEE
Modern IT systems serve many different business processes on a shared infrastructure in parallel. The automatic request execution on the numerous interconnected components, hosted...
CVPR
1999
IEEE
14 years 10 months ago
1999
IEEE
A common method for real-time segmentation of moving regions in image sequences involves "background subtraction," or thresholding the error between an estimate of the i...
ICDCS
2008
IEEE
14 years 2 months ago
2008
IEEE
Distributed stream processing systems (DSPSs) have many important applications such as sensor data analysis, network security, and business intelligence. Failure management is ess...
IANDC
2006
13 years 8 months ago
2006
We give a coalgebraic formulation of timed processes and their operational semantics. We model time by a monoid called a "time domain", and we model processes by "t...