1023 search results - page 106 / 205 » A Formal Method for Program Slicing |
112
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
123
click to vote
CLIMA
2004
15 years 3 months ago
2004
In this paper we propose a formal specification of a persuasion protocol between autonomous agents using an approach based on social commitments and arguments. In order to be flexi...
142
Voted
FM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
DSVIS
2003
Springer
15 years 6 months ago
2003
Springer
Modern industrial-strength user interface toolkits are usually described informally, in terms of implementation artifacts such as objects and imperative state. While the practical...
101
click to vote
AGTIVE
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. Diagrams that serve as a visual input facility for programming environments have to be translated into some kind of semantic description. This paper describes such a meth...