Sciweavers

3192 search results - page 161 / 639
» A Requirements-Driven Development Methodology
Sort
View
WSC
1997
15 years 7 months ago
Taking the Work Out of Simulation Modeling: An Application of Technology Integration
This paper presents an implementation methodology appropriate for providing a broad range of proven, classical Operations Research methods and techniques to the simulation modeler...
Gregory S. Baker
CORR
2010
Springer
58views Education» more  CORR 2010»
15 years 6 months ago
A calculus for costed computations
We develop a version of the picalculus Picost where channels are interpreted as resources which have costs associated with them. Code runs under the financial responsibility of own...
Matthew Hennessy
AIS
2006
Springer
15 years 6 months ago
Leonardo's choice: the ethics of artists working with genetic technologies
: Working with current methodologies of art, biology, and genetic technologies, the stated aims of artists working in this area include attempts both to critique the implications a...
Carol Gigliotti
173
Voted
ITSSA
2006
87views more  ITSSA 2006»
15 years 6 months ago
ForMAAD Method: An Experimental Design for Air Traffic Control
: This paper proposes a formal methodology for designing multi-agent systems based on stepwise refinements. The main contribution consists in providing a set of methodological prin...
Amira Regayeg, Slim Kallel, Ahmed Hadj Kacem, Moha...
161
Voted
MP
2008
100views more  MP 2008»
15 years 6 months ago
Selected topics in robust convex optimization
Robust Optimization is a rapidly developing methodology for handling optimization problems affected by non-stochastic "uncertain-butbounded" data perturbations. In this p...
Aharon Ben-Tal, Arkadi Nemirovski