2655 search results - page 183 / 531 » An agent model for fault-tolerant systems |
154
click to vote
ALIFE
2008
15 years 6 months ago
2008
Quorum sensing is a cell density dependent gene regulation system that allows an entire population of bacterial cells to communicate in order to regulate the expression of certain ...
127
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
We show how it is possible to pair the NuSMV model checker with Akka, a software platform used to check validity of propositional modal formulas, to verify properties of multi-age...
181
click to vote
ROBOCUP
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
168
click to vote
IJCAI
1993
15 years 7 months ago
1993
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
153
click to vote
ATAL
2007
Springer
16 years 21 days ago
2007
Springer
This paper presents an applicable model for complex multiattribute negotiations between autonomous agents. The model adopts a novel protocol which decomposes the original n-dimens...