Sciweavers

10568 search results - page 120 / 2114
» Computer Intelligence and Formalization
Sort
View
CASSIS
2004
Springer
15 years 1 months ago
Mastering Test Generation from Smart Card Software Formal Models
Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Er...
COORDINATION
2008
Springer
14 years 11 months ago
A Formal Account of WS-BPEL
Alessandro Lapadula, Rosario Pugliese, Francesco T...
ASM
2010
ASM
14 years 8 months ago
Formal Analysis in Model Management: Exploiting the Power of CZT
James R. Williams, Fiona A. C. Polack, Richard F. ...
ATAL
2005
Springer
15 years 3 months ago
Generating intentions through argumentation
In this paper we consider how a BDI agent might determine its best course of action. We draw on previous work which has presented a model of persuasion over action and we discuss ...
Katie Atkinson, Trevor J. M. Bench-Capon, Peter Mc...