1676 search results - page 113 / 336 » Formal Development of Self-organising Systems |
101
click to vote
AOSE
2000
Springer
15 years 2 months ago
2000
Springer
Software engineers continually strive to develop tools and techniques to manage the complexity that is inherent in software systems. In this article, we argue that intelligent agen...
FATES
2006
Springer
15 years 1 months ago
2006
Springer
Input-output conformance test theory for discrete systems has established itself in research and industry already. A couple of years ago also input-output conformance test theories...
COMPSAC
2005
IEEE
15 years 3 months ago
2005
IEEE
SLABS is a formal specification language designed for modular and composable specification of multi-agent systems. This paper reports our attempts to support SLABS at the level ...
TARK
1998
Springer
15 years 2 months ago
1998
Springer
We develop a revealed-preferencetheory for multiple agents. Some features of our construction, which draws heavily on Jeffrey's utility theory and on formal constructions by D...
ICLP
2010
Springer
15 years 1 months ago
2010
Springer
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs...