1831 search results - page 98 / 367 » Time Constraints in Workflow Systems |
181
click to vote
OSDI
2002
ACM
16 years 6 months ago
2002
ACM
Recent advances in miniaturization and low-cost, lowpower design have led to active research in large-scale networks of small, wireless, low-power sensors and actuators. Time sync...
162
click to vote
EMSOFT
2001
Springer
15 years 10 months ago
2001
Springer
rovides an abstract programmer’s model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic soft...
182
click to vote
CADE
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. Reachability and LTL model-checking problems for flat counter systems are known to be decidable but whereas the reachability problem can be shown in NP, the best known c...
139
click to vote
SSD
2007
Springer
16 years 5 days ago
2007
Springer
In this paper we study the evaluation of continuous constraint queries (CCQs) for spatiotemporal streams. A CCQ triggers an alert whenever a configuration of constraints between s...
148
click to vote
GLOBECOM
2007
IEEE
16 years 12 days ago
2007
IEEE
—In this report, the problem of broadcast scheduling in Push broadcast systems is studied. We introduce an optimization approach that leads to well justified policies for Push b...