2024 search results - page 100 / 405 » A Formal Model of Multi-agent Computations |
145
click to vote
ER
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents the Kuaba Ontology, a knowledge representation model for Design Rationale described in an ontology definition language. The representation of this model in a sp...
137
click to vote
JLP
2007
15 years 3 months ago
2007
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
104
Voted
DSVIS
2003
Springer
15 years 9 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...
128
Voted
GROUP
1997
ACM
15 years 8 months ago
1997
ACM
Team automata have been proposed in Ellis (1997) as a formal framework for modeling both the conceptual and the architectural level of groupware systems. Here we define team autom...
152
Voted
BRAIN
2010
Springer
15 years 21 days ago
2010
Springer
Biologically realistic modeling has been greatly facilitated by the development of neuro-simulators, and the development of simulatorindependent formats for model exchange is the s...