326 search results - page 44 / 66 » Logical Engineering with Instance-Based Methods |
337
Voted
JTRES
2010
ACM
15 years 19 days ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
113
click to vote
IEE
2008
15 years 14 days ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
124
click to vote
AAAI
2012
13 years 2 months ago
2012
Goal-driven autonomy (GDA) is a conceptual model for creating an autonomous agent that monitors a set of expectations during plan execution, detects when discrepancies occur, buil...
121
click to vote
FOSSACS
2005
Springer
15 years 6 months ago
2005
Springer
The general aim of this talk is to advocate a combinatorial perspective, together with its methods, in the investigation and study of models of computation structures. This, of cou...
112
click to vote
FMCAD
2006
Springer
15 years 4 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...