20126 search results - page 246 / 4026 » Timed Transition Systems |
146
click to vote
RSP
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper addresses the need for systematic verification of timing properties of real-time prototypes, which consist of timing constraints that must be satisfied at any given tim...
168
click to vote
SSDBM
1994
IEEE
15 years 8 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...
119
click to vote
ENTCS
2002
15 years 4 months ago
2002
We present a new approach to the modelling of time constrained systems. It is based on untimed high-level Petri nets using the concept of causal time. With this concept, the progr...
125
click to vote
ITCC
2005
IEEE
15 years 10 months ago
2005
IEEE
A new one time password system is described which is secure against eavesdropping and server database compromise at the same time. Traditionally, these properties have proven to b...
138
click to vote
RTSS
2005
IEEE
15 years 10 months ago
2005
IEEE
Static timing analysis safely bounds worst-case execution times to determine if tasks can meet their deadlines in hard real-time systems. However, conventional timing analysis req...