Sciweavers

1886 search results - page 34 / 378
» Modeling and Enacting Software Processes Using VRPML
Sort
View
ICFEM
1998
Springer
15 years 6 months ago
A Process Algebra Based Verification of a Production System
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers
WSC
1998
15 years 3 months ago
TAYLOR II Manufacturing Simulation Software
Taylor II is a menu-driven simulation package mainly used in manufacturing, warehousing, and material handling. It is developed for the analysis and quantitative evaluation of com...
William B. Nordgren
103
Voted
WOSP
2000
ACM
15 years 6 months ago
Evaluating the performance engineering process
This contribution presents a model for process improvement in the area of performance engineering, which is called performance engineering maturity model. The use of this model al...
Andreas Schmietendorf, André Scholz, Claus ...
BCSHCI
2007
15 years 4 months ago
Using formal models to design user interfaces: a case study
The use of formal models for user interface design can provide a number of benefits. It can help to ensure consistency across designs for multiple platforms, prove properties such...
Judy Bowen, Steve Reeves
108
Voted
RIDE
1998
IEEE
15 years 6 months ago
A Scalable Approach to Continuous-Media Processing
Techniques that emphasize software reuse and scalability are becoming more important than ever. In this paper we present a component-basedmodel for continuous-mediaapplications. C...
Dragos-Anton Manolescu, Klara Nahrstedt