307 search results - page 21 / 62 » Towards Integrated Verification of Timed Transition Models |
ASE
2005
13 years 7 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
ECIS
2004
13 years 8 months ago
2004
The need for an integrated enterprise-wide set of management information pronounced Data Warehousing the `hot topic' of the early-to-mid 1990's, however, it became unfas...
ICIP
2007
IEEE
14 years 9 months ago
2007
IEEE
Recently, `entry/exit' events of objects in the field-of-views of cameras were used to learn the topology of the camera network. The integration of object appearance was also...
FORMATS
2006
Springer
13 years 11 months ago
2006
Springer
We propose a symbolic algorithm for the analysis of the robustness of timed automata, that is the correctness of the model in presence of small drifts on the clocks or imprecision ...
FMCAD
2006
Springer
13 years 11 months ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...