Sciweavers

10038 search results - page 365 / 2008
» Model Checking for Managers
Sort
View
TAOSD
2010
15 years 5 months ago
Crisis Management Systems: A Case Study for Aspect-Oriented Modeling
Jörg Kienzle, Nicolas Guelfi, Sadaf Mustafiz
TAOSD
2010
15 years 5 months ago
Modeling the Car Crash Crisis Management System Using HiLA
Matthias M. Hölzl, Alexander Knapp, Gefei Zha...
ASM
2010
ASM
15 years 4 months ago
Formal Analysis in Model Management: Exploiting the Power of CZT
James R. Williams, Fiona A. C. Polack, Richard F. ...
IPPS
2010
IEEE
15 years 4 months ago
Resource management of enterprise cloud systems using layered queuing and historical performance models
The automatic allocation of enterprise workload to resources can be enhanced by being able to make `whatif' response time predictions, whilst different allocations are being c...
David A. Bacigalupo, Jano van Hemert, Asif Usmani,...