20126 search results - page 313 / 4026 » Timed Transition Systems |
229
click to vote
AINA
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper, we propose a personal navigation system (called PNS) which navigates a tourist through multiple destinations efficiently. In our PNS, a tourist can specify multiple...
157
click to vote
TKDE
2002
15 years 4 months ago
2002
Database systems for real-time applications must satisfy timing constraints associated with transactions. Typically, a timing constraint is expressed in the form of a deadline and ...
113
click to vote
IFM
2005
Springer
15 years 10 months ago
2005
Springer
We provide an automatic method for calculating the path condition for programs with real time constraints. This method can be used for the semiautomatic verification of a unit of ...
162
click to vote
JBI
2007
15 years 4 months ago
2007
This paper deals with the exploration of biomedical multivariate time series to construct typical parameter evolution or scenarios. This task is known to be difficult: the tempora...