887 search results - page 62 / 178 » A pattern-based approach to model software performance |
132
click to vote
FMCO
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...
89
Voted
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
Custom House's new currency exchange system is integrated with a legacy system. After a few years of growth, the two systems were so intricately tangled that even small chang...
123
click to vote
ICCD
2002
IEEE
15 years 9 months ago
2002
IEEE
A large and increasing number of modern embedded systems are subject to tight power/energy constraints. It has been demonstrated that the operating system (OS) can have a signifi...
COMPSAC
2003
IEEE
15 years 5 months ago
2003
IEEE
Markov chains have been used to model web usages and served as the basis for statistical testing, performance evaluation, and reliability analysis. However, most of such applicati...
86
Voted
ICSE
2004
IEEE-ACM
16 years 17 days ago
2004
IEEE-ACM
FLAVERS is a finite-state verification approach that allows an analyst to incrementally add constraints to improve the precision of the model of the system being analyzed. Except ...