1633 search results - page 195 / 327 » On the Verification of Temporal Properties |
133
click to vote
ARTS
1997
Springer
15 years 5 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
124
Voted
CSFW
2004
IEEE
15 years 4 months ago
2004
IEEE
We analyze the multi-party contract-signing protocols of Garay and MacKenzie (GM) and of Baum and Waidner (BW). We use a finite-state tool, MOCHA, which allows specification of pr...
110
Voted
ICCL
1994
IEEE
15 years 4 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...
120
click to vote
BMVC
2001
15 years 3 months ago
2001
New Zernike velocity moments have been developed to describe an object, not only by its shape , but also by its motion throughout an image sequence. These are an extended form of ...
100
Voted
FORMATS
2008
Springer
15 years 2 months ago
2008
Springer
This paper investigates the properties of Metric Temporal Logic (MTL) over models in which time is dense but phenomena are constrained to have bounded variability. Contrary to the ...