#### Filter Results:

#### Publication Year

2007

2014

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Carlos Müller, Marc Oriol, +4 authors Marc Rodríguez
- IEEE Transactions on Services Computing
- 2014

Service Level Agreements (SLAs) establish the Quality of Service (QoS) agreed between service-based systems consumers and providers. Since the violation of such SLAs may involve penalties, quality assurance techniques have been developed to supervise the SLAs fulfillment at runtime. However, existing proposals present some drawbacks: 1) the SLAs they… (More)

- Attila Kertész, Gabor Kecskemeti, +7 authors Xavier Franch
- Journal of Grid Computing
- 2013

Cloud Computing enables the construction and the provisioning of virtualized service-based applications in a simple and cost effective outsourcing to dynamic service environments. Cloud Federations envisage a distributed, heterogeneous environment consisting of various cloud infrastructures by aggregating different IaaS provider capabilities coming from… (More)

- Marc Rodríguez, Abdoulaye Séré, Gaëlle Largeteau-Skapin, Eric Andres
- CompIMAGE
- 2010

This paper presents a theoretical generalization of the cir-cumcenter as the intersection of generalized perpendicular bisectors. We define generalized bisectors between two regions as an area where each point is the center of at least one circle crossing each of the two regions. These new notions should allow the design of new circle recognition algorithms… (More)

- Carlos Müller, Marc Oriol, +4 authors Antonio Ruiz Cortés
- PESOS@ICSE
- 2012

Quality assurance techniques have been developed to supervise the service quality (QoS) agreed between service-based systems (SBSs) consumers and providers. Such QoS is usually included in service level agreements (SLAs) and thus, SLA monitoring platforms have been developed supporting violation detection. However, just a few of them provide explanation of… (More)

- Marc Rodríguez, Gaëlle Largeteau-Skapin, Eric Andres
- IWCIA
- 2009

This article constructs a theoretical framework enabling the logic of plausibility to be axiomatised and for decisions about plausibility to be automated. One result is that undecidability presented in the initial theory is resolved. To arrive at a logical-mathematical basis of the theory of plausibility an axiomatization of plausibility logic based on… (More)

- Eric Andres, Gaëlle Largeteau-Skapin, Marc Rodríguez
- Graphical Models
- 2011

This paper presents a generalization of the notion of circum-center as the intersection of perpendicular bisectors. We define Generalized Perpendicular Bisectors between two regions as an area where each point is the center of at least one circle crossing both regions. This allows us to determine all the possible discrete circle centers that cross a given… (More)

- Marc Rodríguez, Gaëlle Largeteau-Skapin, Eric Andres
- IWCIA Special Track on Applications
- 2009

The PB between two points A and B is the set of points that are at equal distance of both points. The GPB between two regions S 1 and S 2 is the set of the PB of every couple of points that belongs to S 1 and S 2. For computational purposes, in the GPB, the parabolic pieces have been dropped by extending the straight lines (i.e. changing the distance… (More)

- Marc Rodríguez, Noël Richard, Anne-Sophie Capelle-Laizé, Audrey Ledoux
- Traitement du Signal
- 2014