365 search results - page 42 / 73 » Liveness in Timed and Untimed Systems |
EUROSSC
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. In ubiquitous computing environments there are an increasing number and variety of devices that can generate context data. The challenge is to timely acquire, process, an...
DIMEA
2008
13 years 11 months ago
2008
Motion2Sound is a program that translates motion properties into sound ones. This is done by using a motion detection system(Open Cv) and one can have as an input a live web-cam o...
MONET
2011
13 years 4 months ago
2011
Critical Infrastructures (CIs) such as the Power Grid play an important role in our lives. Of all important aspects of CIs, real-time data delivery is the most important one becaus...
DAC
2006
ACM
14 years 10 months ago
2006
ACM
In this paper, we present a methodology for low-cost and rapid context switch for multithreaded embedded processors with realtime guarantees. Context-switch, which involves saving...
OSDI
2008
ACM
14 years 10 months ago
2008
ACM
We pose partitioning a b-bit Internet Protocol (IP) address space as a supervised learning task. Given (IP, property) labeled training data, we develop an IP-specific clustering a...