2203 search results - page 288 / 441 » Temporal Abstract Interpretation |
124
click to vote
ASPDAC
2004
ACM
15 years 9 months ago
2004
ACM
Abstract— We describe dynamic voltage scaling (DVS) algorithms for real-time systems with both periodic and aperiodic tasks. Although many DVS algorithms have been developed for ...
118
Voted
AI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper extends a mereotopological theory of spatiotemporal reasoning to vague ”egg-yolk” regions. In this extension, the egg and its yolk are allowed to move and ...
141
Voted
DAWAK
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Periodic pattern mining is the problem that regards temporal regularity. There are many emerging applications in periodic pattern mining, including web usage recommendati...
133
click to vote
ER
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. As several mature implementations of data warehousing systems are fully operational, a crucial role in preserving their up-to-dateness is played by the ability to manage ...
191
Voted
FAABS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...