4520 search results - page 543 / 904 » Algebraic Techniques for Timed Systems |
161
click to vote
SSD
2007
Springer
16 years 29 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...
195
click to vote
WDAG
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
213
click to vote
ICMCS
2005
IEEE
16 years 14 days ago
2005
IEEE
The software codec on mobile device introduces significant power consumption because the energy efficiency of general processor based system is much lower than that of the dedicat...
192
click to vote
ITRE
2005
IEEE
16 years 13 days ago
2005
IEEE
— Wireless networks are characterized by bursty and location-dependent errors. Although many fair scheduling methods have been proposed to address these issues, most of them assu...
167
click to vote
ACMSE
2005
ACM
16 years 13 days ago
2005
ACM
Through the automation of empirical evaluation we hope to alleviate evaluation problems encountered by software designers who are relatively new to the process. Barriers to good e...