7820 search results - page 381 / 1564 » Formalization of Time and Space |
245
click to vote
SSDBM
1994
IEEE
15 years 11 months ago
1994
IEEE
The analysis of time series is a central issue in economic research and many other scientific applications. However, the data management functionality for this field is not provid...
190
click to vote
ICTAI
2008
IEEE
16 years 2 months ago
2008
IEEE
The last decade has seen a huge interest in classification of time series. Most of this work assumes that the data resides in main memory and is processed offline. However, recent...
188
click to vote
REX
1991
15 years 11 months ago
1991
Abstract. We consider an optimal-reachability problem for a timed automaton with respect to a linear cost function which results in a weighted timed automaton. Our solution to this...
196
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
204
click to vote
ICCAD
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper introduces Lazy Transitions Systems (LzTSs). The notion of laziness explicitly distinguishes between the enabling and the firing of an event in a transition system. LzT...