827 search results - page 16 / 166 » Patterns for Timed Property Specifications |
ICPR
2006
IEEE
16 years 3 months ago
2006
IEEE
Recent research in object recognition has demonstrated the advantages of representing objects and scenes through localized patterns such as small image templates. In this paper we...
ALT
2003
Springer
15 years 10 months ago
2003
Springer
An algorithm for learning a subclass of erasing regular pattern languages is presented. On extended regular pattern languages generated by patterns π of the form x0α1x1 . . . α...
116
click to vote
ARTS
1999
Springer
15 years 6 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
112
click to vote
COMPSAC
2008
IEEE
15 years 3 months ago
2008
IEEE
The formal specification of design patterns is widely recognised as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
118
Voted
PSTV
1993
15 years 3 months ago
1993
We present a new algorithm that can be used for solving the model−checking problem for linear−time temporal logic. This algorithm can be viewed as the combination of two exist...