1426 search results - page 73 / 286 » Specification of nonmonotonic reasoning |
124
click to vote
SIGSOFT
2006
ACM
16 years 5 months ago
2006
ACM
A method for extracting syntactic specifications from heapmanipulating code is described. The state of the heap is represented as an environment mapping each variable or field to ...
138
click to vote
COMPSAC
2007
IEEE
15 years 8 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
157
click to vote
DAGSTUHL
1998
15 years 6 months ago
1998
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...
151
click to vote
IGPL
2010
15 years 1 months ago
2010
Multi-agent systems where the agents are developed by parties with competing interests, and where there is no access to an agent's internal state, are often classified as `ope...
118
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...