1665 search results - page 279 / 333 » Monitoring Timing Constraints in Distributed Real-Time Syste... |
161
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Energy-efficiency has been an important system issue in hardware and software designs to extend operation duration or cut power bills. This research explores systems with probabil...
164
click to vote
CONCUR
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...
182
click to vote
SIGMOD
2010
ACM
15 years 10 months ago
2010
ACM
Applications ranging from location-based services to multi-player online gaming require continuous query support to monitor, track, and detect events of interest among sets of mov...
131
click to vote
IPPS
2007
IEEE
16 years 8 days ago
2007
IEEE
Replication combined with explicit management of data integrity constraints can be used to enhance availability of object-oriented, data-centric distributed systems when node and ...
192
click to vote
MOBIHOC
2008
ACM
16 years 5 months ago
2008
ACM
In many emerging applications, data streams are monitored in a network environment. Due to limited communication bandwidth and other resource constraints, a critical and practical...