Thèse de doctorat : Università della Svizzera italiana, 2012 ; 2012INFO008.
We propose Kriging-based self-adaptive controllers to manage the allocation of resources to computing systems that need to provide guarantees on their quality of service at runtime while minimizing running costs. Service providers need to adjust the configurations of their systems and the re- sources allocated to them to maintain an acceptable level of service at runtime despite fluctuations...
|
Thèse de doctorat : Università della Svizzera italiana, 2012 ; 2012INFO006.
Software testing is one of the most common approaches to verify software systems. Despite of many automated techniques proposed in the literature, test cases are often generated manually. When a software system evolves during development and maintenance to accommodate requirement changes, bug fixes, or functionality extensions, test cases may become obsolete, and software developers need to...
|
Thèse de doctorat : Università della Svizzera italiana, 2010 ; 2010INFO002.
In recent years, component- and service-orientation has gained importance as the new paradigm in software engineering, and it has introduced the challenge of dynamic component look-up and binding into the validation and verification process. This introduces a new class of inherently dynamic properties that have to be verified when the system is running in its target environment rather than...
|
