Now showing items 21-25 of 25

    • Icon

      Temporal-Awareness in SLAS. Why Should We Be Concerned?  [Presentation]

      Müller Cejás, Carlos; Fernández Montes, Pablo (2007)
      Traditionally, Service Level Agreements have been decomposed in two sets of properties: functionals (what) and non-functionals (how). However, in our opinion, there has been a third key element that has had a minor attention ...
    • Icon

      The Triple Schizophrenia of the Software Engineering Researcher  [Presentation]

      Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Müller Cejás, Carlos (2005)
      In this paper we question the problem of a software engineering researcher, who in his daily work, has to deal with researching, teaching and learning activities at the same time. Likewise, we suggest the Action Research ...
    • Icon

      Towards a Formal Specification of SLAs with Compensations  [Presentation]

      Müller Cejás, Carlos; Gutiérrez, Antonio M.; Martín Díaz, Octavio; Resinas Arias de Reyna, Manuel; Fernández Montes, Pablo; Ruiz Cortés, Antonio (2014)
      In Cooperative Information Systems, service level agreements (SLA) can be used to describe the rights and obligations of parties involved in the transaction (typically the service consumer and the service provider); amongst ...
    • Icon

      Towards Compensable SLAs  [Presentation]

      Müller Cejás, Carlos; Gutiérrez, Antonio M.; Resinas Arias de Reyna, Manuel; Fernández Montes, Pablo; Ruiz Cortés, Antonio (2014)
      In Cooperative Information Systems, service level agreements (SLA) can be used to describe the rights and obligations of parties involved in the transaction (typically the service consumer and the service provider); amongst ...
    • Icon

      Using Automated Analysis of Temporal-Aware SLAS in Logistics  [Presentation]

      Müller Cejás, Carlos; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2009)
      Service level agreements (SLAs) establish the terms in which a logistics service may be provided or consumed. During the last years we have been studying techniques to perform an automated analysis of expressive and realistic ...