1418 search results - page 50 / 284 » The Dynamic Complexity of Formal Languages |
103
click to vote
ESOP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The hiding of internal invariants creates a mismatch between procedure specifications in an interface and proof obligations on the implementations of those procedures. T...
101
click to vote
AI
2001
Springer
15 years 6 months ago
2001
Springer
The situation calculus is a logical formalism that has been extensively developed for planning. We apply the formalism in a complex multi-agent domain, modelled on the game of Clue...
107
click to vote
ECAI
2006
Springer
15 years 5 months ago
2006
Springer
An approach to handle the complex dynamics of a multi-agent system is based on distinguishing aggregation levels by structuring the system into parts or components. The behavior of...
120
click to vote
JOT
2008
15 years 1 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
130
click to vote
KBSE
1998
IEEE
15 years 6 months ago
1998
IEEE
We report on GADGET, a new software test generation system that uses combinatorial optimization to obtain condition/decision coverage of C/C++ programs. The GADGET system is fully...