Sciweavers

2435 search results - page 196 / 487
» GPSS - 40 years of development
Sort
View
EWSPT
2000
Springer
15 years 10 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
ISMIS
2000
Springer
15 years 10 months ago
Evolving Behaviors for Cooperating Agents
A good deal of progress has been made in the past few years in the design and implementation of control programs for autonomous agents. A natural extension of this work is to consi...
Jeffrey K. Bassett, Kenneth A. De Jong
ARVLSI
1995
IEEE
124views VLSI» more  ARVLSI 1995»
15 years 10 months ago
An evaluation of bipartitioning techniques
Logic partitioning is an important issue in VLSI CAD, and has been an area of active research for at least the last 25 years. Numerous approaches have been developed and many diff...
Scott Hauck, Gaetano Borriello
VLDB
2000
ACM
108views Database» more  VLDB 2000»
15 years 10 months ago
Panel: Future Directions of Database Research - The VLDB Broadening Strategy, Part 1
This panel introduces and explains the "future directions" and "broadening" discussions at the VLDB Endowment. Panelists are Michael Brodie, Stefano Ceri, Umes...
Hans-Jörg Schek
RTSS
1995
IEEE
15 years 10 months ago
Compositional and Symbolic Model-Checking of Real-Time Systems
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...
Kim Guldstrand Larsen, Paul Pettersson, Wang Yi