1831 search results - page 98 / 367 » Time Constraints in Workflow Systems |
134
Voted
OSDI
2002
ACM
16 years 4 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...
131
Voted
EMSOFT
2001
Springer
15 years 8 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...
148
Voted
CADE
2012
Springer
13 years 6 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...
111
Voted
SSD
2007
Springer
15 years 9 months 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...
119
click to vote
GLOBECOM
2007
IEEE
15 years 10 months 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...