Sciweavers

3750 search results - page 597 / 750
» Timed Automata Patterns
Sort
View
OSDI
2008
ACM
16 years 2 months ago
Predicting Computer System Failures Using Support Vector Machines
Mitigating the impact of computer failure is possible if accurate failure predictions are provided. Resources, applications, and services can be scheduled around predicted failure...
Errin W. Fulp, Glenn A. Fink, Jereme N. Haack
248
Voted
SIGMOD
2005
ACM
187views Database» more  SIGMOD 2005»
16 years 2 months ago
A Generic Framework for Monitoring Continuous Spatial Queries over Moving Objects
This paper proposes a generic framework for monitoring continuous spatial queries over moving objects. The framework distinguishes itself from existing work by being the first to ...
Haibo Hu, Jianliang Xu, Dik Lun Lee
263
Voted
SIGMOD
2005
ACM
254views Database» more  SIGMOD 2005»
16 years 2 months ago
Conceptual Partitioning: An Efficient Method for Continuous Nearest Neighbor Monitoring
Given a set of objects P and a query point q, a k nearest neighbor (k-NN) query retrieves the k objects in P that lie closest to q. Even though the problem is well-studied for sta...
Kyriakos Mouratidis, Marios Hadjieleftheriou, Dimi...
109
Voted
ICSE
2004
IEEE-ACM
16 years 2 months ago
Elaborating Security Requirements by Construction of Intentional Anti-Models
Caring for security at requirements engineering time is a message that has finally received some attention recently. However, it is not yet very clear how to achieve this systemat...
Axel van Lamsweerde
129
Voted
PERCOM
2007
ACM
16 years 2 months ago
Structural Learning of Activities from Sparse Datasets
Abstract. A major challenge in pervasive computing is to learn activity patterns, such as bathing and cleaning from sensor data. Typical sensor deployments generate sparse datasets...
Fahd Albinali, Nigel Davies, Adrian Friday