8928 search results - page 8 / 1786 » Modeling Current Events |
CAV
2008
Springer
15 years 1 months ago
2008
Springer
Ideally, a model checking tool should successfully tackle state space explosion for complete system validation, while providing short counterexamples when an error exists. Techniqu...
AAAI
2011
13 years 11 months ago
2011
The automated processing of multiple seismic signals to detect and localize seismic events is a central tool in both geophysics and nuclear treaty verification. This paper report...
164
click to vote
ICDM
2007
IEEE
15 years 3 months ago
2007
IEEE
Event detection is one of the most important issues of event processing system, especially Complex Event Processing (CEP). Outlier event, change event and burst event are three ty...
115
Voted
PERCOM
2006
ACM
15 years 11 months ago
2006
ACM
In this paper we present a new framework for specifying access control policies in smart spaces called Criticality-Aware Access Control (CAAC). The main idea is to automatically r...
ICECCS
2010
IEEE
14 years 12 months ago
2010
IEEE
Abstract— Maintaining semantic consistency of data is a significant problem in distributed information systems, particularly those on which a business may depend. Our current wo...