411 search results - page 34 / 83 » Algebraic Imperative Specifications |
112
click to vote
IWFM
1998
15 years 3 months ago
1998
The issue of correctness in the context of a certain style of program transformation is investigated. This style is characterised by the fully automated application of large numbe...
129
click to vote
CADE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We describe mcmt, a fully declarative and deductive symbolic model checker for safety properties of infinite state systems whose state variables are arrays. Theories spec...
105
click to vote
VTC
2010
IEEE
15 years 9 days ago
2010
IEEE
—For the WAVE applications built on safety beacons, it is imperative that the neighboring vehicle information be collected as quickly and efficiently as possible. But the unreli...
121
click to vote
ADBIS
2004
Springer
15 years 7 months ago
2004
Springer
: The purpose of the current work is to explore and improve the analysis of event data stored in event repositories, enabling the application of specialized event algebra operators...
108
click to vote
FLAIRS
2000
15 years 3 months ago
2000
Oneof the keys to a goodIntelligent Tutoring System (ITS)is its ability to identify andlocalize the error a student's answerand then generate useful feedback. This paper desc...