2024 search results - page 141 / 405 » A Formal Model of Multi-agent Computations |
148
click to vote
ASM
2000
ASM
15 years 8 months ago
2000
ASM
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run...
138
click to vote
IJCINI
2007
15 years 4 months ago
2007
: The theme of this issue of IJCINI is on cognitive mechanisms of autonomic computing and laws of human cooperative work organization. This editorial addresses key notions of this ...
136
click to vote
COGSCI
2004
15 years 4 months ago
2004
I show how a conversational process that takes simple, intuitively meaningful steps may be understood as a sophisticated computation that derives the richly detailed, complex repr...
111
click to vote
WWW
2008
ACM
16 years 4 months ago
2008
ACM
Ontology population is prone to cause inconsistency because the populating process is imprecise or the populated data may conflict with the original data. By assuming that the int...
170
click to vote
ER
2007
Springer
15 years 10 months ago
2007
Springer
Organizations are under increasing scrutiny to document their compliance to regulatory requirements. To this end, they have to formally document their operating procedures to supp...