365 search results - page 50 / 73 » Liveness in Timed and Untimed Systems |
OSDI
2004
ACM
14 years 10 months ago
2004
ACM
FUSE is a lightweight failure notification service for building distributed systems. Distributed systems built with FUSE are guaranteed that failure notifications never fail. When...
ICMCS
2005
IEEE
14 years 3 months ago
2005
IEEE
In this paper, we propose a semantic routing and filtering framework for large-scale monitoring of video streams. Our goal is to build a distributed system that at any given time ...
IUI
2000
ACM
14 years 2 months ago
2000
ACM
This paper describes an intelligent interface to assist in the expert perceptual task of sound equalization. This is commonly done by a sound engineer in a recording studio, live ...
ACMACE
2007
ACM
14 years 1 months ago
2007
ACM
We present a system that uses wireless telemetry to enhance the experience of fairground and theme park amusement rides. Our system employs wearable technologies to capture video,...
EMSOFT
2008
Springer
13 years 11 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...