Sciweavers

2403 search results - page 151 / 481
» Using the WinWin Spiral Model: A Case Study
Sort
View
ICSE
2009
IEEE-ACM
16 years 1 months ago
Using quantitative analysis to implement autonomic IT systems
The software underpinning today’s IT systems needs to adapt dynamically and predictably to rapid changes in system workload, environment and objectives. We describe a software f...
Radu Calinescu, Marta Z. Kwiatkowska
RE
2004
Springer
15 years 11 months ago
Composing Requirements Using Problem Frames
Problem Frames are a systematic approach to the decomposition of problems that allows us to relate requirements, domain properties, and machine specifications. Having decomposed a...
Robin C. Laney, Leonor Barroca, Michael Jackson, B...
DATE
1999
IEEE
144views Hardware» more  DATE 1999»
15 years 10 months ago
A Method to Diagnose Faults in Linear Analog Circuits using an Adaptive Tester
This work presents a new diagnosis method for use in an adaptive analog tester. The tester is able to detect faults in any linear circuit by learning a reference behavior in a fir...
Érika F. Cota, Luigi Carro, Marcelo Lubasze...
BPM
2006
Springer
117views Business» more  BPM 2006»
15 years 10 months ago
Web Service E-Contract Establishment Using Features
Electronic contracts describe inter-organizational business processes in terms of supply and consumption of electronic services (commonly Web services). In a given contract domain,...
Marcelo Fantinato, Itana Maria de Souza Gimenes, M...
MR
2007
143views Robotics» more  MR 2007»
15 years 5 months ago
Life cycle cost impact of using prognostic health management (PHM) for helicopter avionics
- Case studies were conducted using a stochastic model to predict the life cycle cost impact associated with the application of Prognostic Health Management (PHM) to helicopter avi...
E. Scanff, K. L. Feldman, S. Ghelam, Peter Sandbor...