QoS contract preservation through dynamic reconfiguration: A formal semantics approach
The increasing pervasiveness of computing services in everyday life, combined with the dynamic nature of their execution contexts, constitutes a major challenge in guaranteeing theexpected quality of such services at runtime. Quality of Service (QoS) contracts have been proposed to specify expected...
- Autores:
-
Tamura Morimitsu, Gabriel
Cleve, Anthony
Duchien, Laurence
Casallas, Rubby
- Tipo de recurso:
- Article of investigation
- Fecha de publicación:
- 2014
- Institución:
- Universidad ICESI
- Repositorio:
- Repositorio ICESI
- Idioma:
- eng
- OAI Identifier:
- oai:repository.icesi.edu.co:10906/78336
- Acceso en línea:
- http://www.scopus.com/inward/record.url?eid=2-s2.0-84908214736&partnerID=tZOtx3y1
http://www.sciencedirect.com/science/article/pii/S0167642313003390
http://hdl.handle.net/10906/78336
https://doi.org/10.1016/j.scico.2013.12.003
- Palabra clave:
- QoS (Calidad de servicio)
Contratos de software
Semántica del contrato
Quality-of-Service (QoS)
Software contracts
Contract semantics
Automatización y sistemas de control
Automation
Control system
Ingeniería de sistemas y comunicaciones
Telecommunication
- Rights
- openAccess
- License
- https://creativecommons.org/licenses/by-nc-nd/4.0/