212 search results - page 2 / 43 » A Reverse Engineering Form for Multi Agent Systems |
COODBSE
1994
14 years 11 months ago
1994
Software engineering research has focused primarily on software construction, neglecting software maintenance and evolution. Observed is a shift in research from synthesis to anal...
WOSP
2010
ACM
15 years 4 months ago
2010
ACM
In this paper we provide a general method to derive productform solutions for stochastic models. We take inspiration from the Reversed Compound Agent Theorem [14] and we provide a...
AAAI
2004
14 years 11 months ago
2004
WCRE
1993
IEEE
15 years 1 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
This paper is intended to sum up the results of the Second International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS'03) held in Portland, Or...