Sciweavers

94
Voted
FAABS
2000
Springer
15 years 7 months ago
Controlling Multiple Satellite Constellations Using the TEAMAgent System
Derek M. Surka, Mark E. Campbell, Thomas P. Schett...
106
Voted
FAABS
2000
Springer
15 years 7 months ago
Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude
Jeffrey Van Baalen, James L. Caldwell, Shivakant M...
126
Voted
FAABS
2000
Springer
15 years 7 months ago
On Formal Modeling of Agent Computations
Tadashi Araragi, Paul C. Attie, Idit Keidar, Kiyos...
EWSPT
2000
Springer
15 years 7 months ago
Support for Mobile Software Processes in CAGIS
This paper describes a prototype for supporting distributed, mobile software processes. The prototype allows instantiated process models to be distributed in different workspaces, ...
Alf Inge Wang
121
Voted
EWSPT
2000
Springer
15 years 7 months ago
A CMM-Based Evaluation of the V-Model 97
The V-Model 97 is a widely used process model in Germany and Europe. It is the development standard for IT-Systems of the Federal Republic of Germany and the basis of Austria'...
Viktor Schuppan, Winfried Rußwurm