81 search results - page 6 / 17 » Temporal skeletons for verifying time |
193
click to vote
WORDS
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...
155
click to vote
COMPSAC
2010
IEEE
15 years 3 months ago
2010
IEEE
We present a pattern-based method to express time specifications in the language TLA+ . A real-time module RealTimeNew is introduced to encapsulate the definitions of commonly used...
160
click to vote
ICCL
1994
IEEE
15 years 9 months ago
1994
IEEE
This paper presents a framework to define a semantics for a real-time object-orientation programming language and to verify programs written in the language. The semantics is defi...
189
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...
178
click to vote
TMM
2010
15 years 14 days ago
2010
This paper introduces a video copy detection system which efficiently matches individual frames and then verifies their spatio-temporal consistency. The approach for matching frame...