3729 search results - page 399 / 746 » On Formal Modeling of Agent Computations |
201
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
208
click to vote
AAAI
2006
15 years 8 months ago
2006
DTGolog, a decision-theoretic agent programming language based on the situation calculus, was proposed to ease some of the computational difficulties associated with Markov Decisi...
171
click to vote
AINA
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper proposes the use of several ontological techniques to provide a semantic level solution for a search agent so that it can provide fast, precise, and stable search resul...
176
click to vote
SAS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
184
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
We use History Dependent Automata (HD-automata) as a syntax-indepentend formalism to check compatibility of services at binding time in Service-Oriented Computing. Informally speak...