123 search results - page 21 / 25 » Using Model Checking to Detect Deadlocks in Distributed Obje... |
DEBS
2008
ACM
13 years 10 months ago
2008
ACM
Several new Complex Event Processing (CEP) engines have been recently released, many of which are intended to be used in performance sensitive scenarios - like fraud detection, tr...
KDD
2010
ACM
14 years 13 days ago
2010
ACM
Periodicity is a frequently happening phenomenon for moving objects. Finding periodic behaviors is essential to understanding object movements. However, periodic behaviors could b...
CCS
2008
ACM
13 years 10 months ago
2008
ACM
Attribute staleness arises due to the physical distribution of authorization information, decision and enforcement points. This is a fundamental problem in virtually any secure di...
MM
2005
ACM
14 years 2 months ago
2005
ACM
This paper presents a novel object-based video coding framework for videos obtained from a static camera. As opposed to most existing methods, the proposed method does not require...
DAGSTUHL
2003
13 years 10 months ago
2003
Abstract. In this paper, we show how the concepts of objects, components, features and agents are used today in the Agent Building Center (ABC) environment in order to marry the mo...