1633 search results - page 284 / 327 » On the Verification of Temporal Properties |
126
click to vote
EUROSSC
2009
Springer
15 years 6 months ago
2009
Springer
A major challenge in using multi-modal, distributed sensor systems for activity recognition is to maintain a temporal synchronization between individually recorded data streams. A ...
SIGCOMM
2009
ACM
15 years 6 months ago
2009
ACM
Most of the existing literature on empirical studies of Online Social Networks (OSNs) have focused on characterizing and modeling the structure of their inferred friendship graphs...
106
click to vote
AICCSA
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...
NOMS
2008
IEEE
15 years 6 months ago
2008
IEEE
—In this paper, we propose a BGP anomaly detection framework called BAlet that delivers both temporal and spatial localization of the potential anomalies. It requires only a simp...
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...