7209 search results - page 1002 / 1442 » Software Engineering for Multi-Agent Systems |
130
Voted
IWSSD
2000
IEEE
15 years 8 months ago
2000
IEEE
We seek to facilitate development of high quality software designs and architectures by using rigorous process definitions to guide application of the complex structure of relati...
140
Voted
ISSTA
2000
ACM
15 years 8 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
117
Voted
WACC
1999
ACM
15 years 8 months ago
1999
ACM
In recent years much attention has been paid to networkbased, distributed environments like text-based MUDs and MOOs for supporting collaborative work. Such environments offer a s...
125
Voted
KBSE
1999
IEEE
15 years 8 months ago
1999
IEEE
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of...
130
Voted
EUROMICRO
1998
IEEE
15 years 8 months ago
1998
IEEE
The continuing explosive growth of the web has not been matched by an adequate enhancement of the infrastructure on which it depends. Both consumers and producers are often left f...