3387 search results - page 511 / 678 » Model-Checking for Real-Time Systems |
KI
2010
Springer
13 years 8 months ago
2010
Springer
Most approaches to the visual perception of humans do not include high-level activity recognitition. This paper presents a system that fuses and interprets the outputs of several c...
ISORC
2011
IEEE
13 years 1 months ago
2011
IEEE
—Static cache analysis for data allocated on the heap is practically impossible for standard data caches. We propose a distinct object cache for heap allocated data. The cache is...
ICOM
2011
13 years 1 months ago
2011
In this paper we describe an implicit user interface for smart environment control: We make our system guess how to assist the user(s) proactively. Our controller is based on two ...
SIGSOFT
2010
ACM
13 years 8 months ago
2010
ACM
Robust distributed systems commonly employ high-level recovery mechanisms enabling the system to recover from a wide variety of problematic environmental conditions such as node f...
TLDI
2009
ACM
14 years 7 months ago
2009
ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...