91 search results - page 14 / 19 » Abstract State Machines and Computationally Complete Query L... |
111
click to vote
MVA
2006
14 years 11 months ago
2006
Abstract This paper presents an approach to designing and implementing extensible computational models for perceiving systems based on a knowledge-driven joint inference approach. ...
116
click to vote
SIGOPSE
1992
ACM
15 years 3 months ago
1992
ACM
Abstract-- This paper describes the design and implementation1 of IRIS: an intentional resource indicator service. IRIS springs from the concept that end-users should not be bogged...
199
click to vote
POPL
2007
ACM
16 years 1 days ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
95
Voted
MICRO
2009
IEEE
15 years 6 months ago
2009
IEEE
High assurance systems such as those found in aircraft controls and the financial industry are often required to handle a mix of tasks where some are niceties (such as the contro...
100
click to vote
ERSHOV
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...