Sciweavers

2403 search results - page 226 / 481
» Using the WinWin Spiral Model: A Case Study
Sort
View
WSC
2008
15 years 8 months ago
A framework for simulating industrial construction processes
In an industrial fabrication shop, such as pipe spool and steel fabrication, a product usually travels in the system in the form of raw materials or components of the product. Dur...
Naimeh Sadeghi, Aminah Robinson Fayek
TPHOL
2000
IEEE
15 years 11 months ago
Routing Information Protocol in HOL/SPIN
We provide a proof using HOL and SPIN of convergence for the Routing Information Protocol (RIP), an internet protocol based on distance vector routing. We also calculate a sharp re...
Karthikeyan Bhargavan, Carl A. Gunter, Davor Obrad...
SERP
2003
15 years 7 months ago
A Maturity Model for the Implementation of Software Process Improvement
Different advances have been made in the development of software process improvement (SPI) standards and models, e.g. capability maturity model (CMM), more recently CMMI, and ISO...
Mahmood Niazi, David Wilson
VL
2008
IEEE
115views Visual Languages» more  VL 2008»
16 years 27 days ago
Flexible visualization of automatic simulation based on structured graph transformation
Visual modeling languages for discrete behavior modeling allow the modeler to describe how systems develop over time during system runs. Models of these languages are the basis fo...
Enrico Biermann, Claudia Ermel, Jonas Hurrelmann, ...
WSC
2008
15 years 8 months ago
Distributed agent-based simulation of construction projects with HLA
Simulation techniques can provide a resource-driven schedule and answer many hypothetical scenarios before project execution to improve on conventional project management software...
Hosein Taghaddos, Simaan M. AbouRizk, Yasser Moham...