1168 search results - page 17 / 234 » cases 2000 |
FLAIRS
2000
13 years 8 months ago
2000
To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice. We study this question using a prominent e...
WSC
2000
13 years 8 months ago
2000
This paper will present a case study on the use of simulation to develop and implement an assembly line for the assembly and test of customer located telephony equipment. The simu...
ICCBR
2001
Springer
13 years 12 months ago
2001
Springer
In this paper, we present an adaptation-guided similarity metric based on the estimate of the number of actions between states, called ADG (Action Distance-Guided). It is determine...
COMPSAC
2000
IEEE
13 years 12 months ago
2000
IEEE
: A two-layer adaptive wrapping technique is proposed in this paper to migrate legacy Energy Management System (EMS) modules into reusable components, and therefore transforming th...
DEXAW
2000
IEEE
13 years 12 months ago
2000
IEEE
Thorough process improvement starts with an analysis of the current situation. This is also true for requirements engineering processes. The goal of cooperation between DaimlerChq...