7820 search results - page 315 / 1564 » Formalization of Time and Space |
206
click to vote
DASFAA
2007
IEEE
16 years 1 months ago
2007
IEEE
Similarity search in time series databases usually deals with comparing entire time series objects or subsequence search. In this paper, we formalize the notion of interval-focused...
167
click to vote
ECBS
2005
IEEE
16 years 1 months ago
2005
IEEE
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
148
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Sampled semantics of timed automata is a nite approximation of their dense time behavior. While the former is closer to the actual software or hardware systems ed granularity of ti...
208
click to vote
CAISE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Formal specification and operational support of time constraints constitute fundamental challenges for any process-aware information system. Although temporal constraints...
206
Voted
SOFSEM
2009
Springer
16 years 4 months ago
2009
Springer
Petri nets are an effective formalism to model discrete event systems, and several variants have been defined to explicitly include real time in the model. We consider two fundam...