Sciweavers

481 search results - page 54 / 97
» Scalable Matching of Industry Models - a Case Study
Sort
View
ASE
2008
120views more  ASE 2008»
13 years 8 months ago
Requirements model generation to support requirements elicitation: the Secure Tropos experience
In the last years several efforts have been devoted by researchers in the Requirements Engineering community to the development of methodologies for supporting designers during req...
Nadzeya Kiyavitskaya, Nicola Zannone
ICSM
2007
IEEE
14 years 2 months ago
Evaluation of Semantic Interference Detection in Parallel Changes: an Exploratory Experiment
Parallel developments are becoming increasingly prevalent in the building and evolution of large-scale software systems. Our previous studies of a large industrial project showed ...
Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
ICALP
1994
Springer
13 years 12 months ago
On the Cost of Recomputing: Tight Bounds on Pebbling with Faults
We introduce a formal framework to study the time and space complexity of computing with faulty memory. For the fault-free case, time and space complexities were studied using the...
Yonatan Aumann, Judit Bar-Ilan, Uriel Feige
WSC
2008
13 years 10 months ago
Emulation in manufacturing engineering processes
In our research, the manufacturing system emulation technology is proposed as one of the frontloading methods in the manufacturing system implementation phase. In this paper, the ...
Hironori Hibino, Yoshiro Fukuda
WSC
1997
13 years 9 months ago
Real Time Discrete Event Simulation of a PCB Production System for Operational Support
The purpose of this paper is to investigate how discrete event simulation can support the growing need of information in the production system. Agility, one key to future competit...
Mats Jackson, Christer Johansson