Sciweavers

2403 search results - page 129 / 481
» Using the WinWin Spiral Model: A Case Study
Sort
View
ASWEC
2007
IEEE
16 years 21 days ago
Timed Behavior Trees and Their Application to Verifying Real-Time Systems
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
Lars Grunske, Kirsten Winter, Robert Colvin
INFOCOM
2011
IEEE
14 years 9 months ago
A nearly-optimal index rule for scheduling of users with abandonment
—We analyze a comprehensive model for multi-class job scheduling accounting for user abandonment, with the objective of minimizing the total discounted or time-average sum of lin...
Urtzi Ayesta, Peter Jacko, Vladimir Novak
ICSE
2003
IEEE-ACM
16 years 6 months ago
Using Process Technology to Control and Coordinate Software Adaptation
We have developed an infrastructure for end-to-end run-time monitoring, behavior/performance analysis, and dynamic adaptation of distributed software. This infrastructure is prima...
Giuseppe Valetto, Gail E. Kaiser
AIME
2001
Springer
15 years 11 months ago
Using Critiquing for Improving Medical Protocols: Harder than It Seems
Medical protocols are widely recognised to provide clinicians with high-quality and up-to-date recommendations. A critical condition for this is of course that the protocols themse...
Mar Marcos, Geert Berger, Frank van Harmelen, Anne...
CBSE
2005
Springer
15 years 12 months ago
Performance Prediction of J2EE Applications Using Messaging Protocols
Abstract. Predicting the performance of component-based applications is difficult due to the complexity of the underlying component technology. This problem is exacerbated when a m...
Yan Liu, Ian Gorton