1676 search results - page 88 / 336 » Formal Development of Self-organising Systems |
HICSS
1999
IEEE
15 years 2 months ago
1999
IEEE
The paper develops a generic framework for analyzing knowledge management in formal decision groups and applies it to council work. Requirements are deduced for a sociotechnical s...
AAAI
2011
13 years 9 months ago
2011
Recently the general Game Description Language (GDL) has been extended so as to cover arbitrary games with incomplete/imperfect information. Learning—without human interventionâ...
PDCAT
2007
Springer
15 years 4 months ago
2007
Springer
A communication protocol is a fundamental component of a multi-agent system. The security requirements for a communication protocol should be articulated during the early stages o...
ICDCS
2009
IEEE
15 years 7 months ago
2009
IEEE
This paper formalizes transactional properties for publish/subscribe client mobility and develops protocols to realize them. Evaluations show that compared to traditional protocol...
102
click to vote
FUIN
2006
14 years 9 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...