Sciweavers

2403 search results - page 266 / 481
» Using the WinWin Spiral Model: A Case Study
Sort
View
ESAW
2000
Springer
15 years 10 months ago
Formal Specification and Prototyping of Multi-agent Systems
Abstract. This paper presents a multi agent-oriented prototyping approach. It is a generic approach, applicable to a wide range of multi-agent systems. This approach relies on a fe...
Vincent Hilaire, Abder Koukam, Pablo Gruer, Jean-P...
FORTE
2004
15 years 8 months ago
Symbolic Performance and Dependability Evaluation with the Tool CASPA
This paper describes the tool CASPA, a new performance evaluation tool which is based on a Markovian stochastic process algebra. CASPA uses multi-terminal binary decision diagrams ...
Matthias Kuntz, Markus Siegle, Edith Werner
WSC
1997
15 years 7 months ago
Evaluation of a (R, s, Q, c) Multi-Item Inventory Replenishment Policy Through Simulation
In this paper, the case of a cardboard box marketing firm is studied and a (R,s,Q,c) inventory replenishment policy is proposed and evaluated by means of discrete event simulation...
Carlos B. Ramirez Cerda, Armando J. Espinosa de lo...
COMPSAC
2008
IEEE
15 years 6 months ago
Analyzing Software Evolvability
Software evolution is characterized by inevitable changes of software and increasing software complexities, which in turn may lead to huge costs unless rigorously taking into acco...
Hongyu Pei Breivold, Ivica Crnkovic, Peter J. Erik...
ORI
2008
69views more  ORI 2008»
15 years 6 months ago
Markov chain applications in the slot machine industry
One of the important sectors within gambling is that of gaming machines. This industry used to favour approaches based on long-run simulations or complete enumerations of all poss...
Noelia Oses