237 search results - page 38 / 48 » Gaia Agents Implementation through Models Transformation |
109
Voted
AAAI
2011
13 years 11 months ago
2011
Information about the spread of crop disease is vital in developing countries, and as a result the governments of such countries devote scarce resources to gathering such data. Un...
105
click to vote
AAAI
1996
15 years 1 months ago
1996
Most model-based diagnosis systems, such as GDE and Sherlock, have concerned discrete, static systems such as logic circuits and use simple constraint propagation to detect incons...
IFM
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
IWSAPF
2000
15 years 3 months ago
2000
Product families promote reuse of software artifacts such as architectures, designs and implementations. Product family architectures are difficult to create due to the need to sup...
87
Voted
CLIMA
2007
15 years 1 months ago
2007
Abstract. In this paper we are concerned with proposing, analyzing and implementing simple, yet flexible, constructs for multi-agent programming. In particular, we wish to extend ...