5267 search results - page 746 / 1054 » Methods for Knowledge Based Controlling of Distributed Syste... |
175
click to vote
PODC
1999
ACM
15 years 11 months ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...
167
click to vote
ISORC
2007
IEEE
16 years 29 days ago
2007
IEEE
Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. Today, measurement-based timing analysis tools such as in-ci...
137
click to vote
DAC
2009
ACM
16 years 1 months ago
2009
ACM
Endosymbiotic Computing entails attaching an RF-enabled microcontroller module (endomodule) to an appliance such that it appears as a networked device in the cyber world. It enabl...
177
click to vote
FGCN
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we present a novel feedback control-based load shedding scheme for data stream processing. Firstly we apply system identification to establish a dynamic model to de...
191
click to vote
EUROSYS
2006
ACM
16 years 3 months ago
2006
ACM
The database tier of dynamic content servers at large Internet sites is typically hosted on centralized and expensive hardware. Recently, research prototypes have proposed using d...