2024 search results - page 161 / 405 » A Formal Model of Multi-agent Computations |
145
click to vote
SAS
2001
Springer
15 years 8 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...
146
click to vote
BIRTHDAY
2008
Springer
15 years 6 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...
126
click to vote
ICSM
2005
IEEE
15 years 10 months ago
2005
IEEE
In the work presented here, we introduce a method to automatically generate a subset of a UML class model based on a user-defined criterion. The goal of this work is to allow us to...
130
click to vote
CSCWD
2005
Springer
15 years 10 months ago
2005
Springer
GOMS is a well-known model that has been successfully used in predicting the performance of humancomputer interaction, identifying usability problems and improving user-interface ...
162
click to vote
AGI
2011
14 years 8 months ago
2011
Under Legg’s and Hutter’s formal measure [1], performance in easy environments counts more toward an agent’s intelligence than does performance in difficult environments. An ...