Researcher profile

Carlos G. Lopez Pombo

Carlos G. Lopez Pombo contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 13 - UnverifiedVerification L1Unclaimed author
2works
0followers
2topics
3close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

2 published item(s)

preprint2022arXiv

Probabilistic Quality of Service aware Service Selection

In software-as-a-service paradigms software systems are no longer monolithic pieces of code executing within the boundaries of an organisation, on the contrary, they are conceived as a dynamically changing collection of services, collectively executing, in pursuit of a common business goal. An essential aspect of service selection is determining whether the Quality of Service (QoS) profile of a service satisfies the QoS requirements of a client. In realistic execution environments, such QoS values might be influenced by external, non-controllable events, making it impossible for the service provider to guarantee that the values characterised by a QoS profile will be met, naturally leading to the need of a probabilistic interpretation of QoS profile. In this work we propose: 1) a model for describing probabilistic QoS profiles based on multivariate continuous probability distributions, 2) a language for describing probabilistic QoS requirements, and 3) an automatic procedure for assessing whether a probabilistic QoS profile satisfies a probabilistic QoS requirement.

preprint2020arXiv

On the construction of explosive relation algebras

Fork algebras are an extension of relation algebras obtained by extending the set of logical symbols with a binary operator called fork. This class of algebras was introduced by Haeberer and Veloso in the early 90's aiming at enriching relation algebra, an already successful language for program specification, with the capability of expressing some form of parallel computation. The further study of this class of algebras led to many meaningful results linked to interesting properties of relation algebras such as representability and finite axiomatizability, among others. Also in the 90's, Veloso introduced a subclass of relation algebras that are expansible to fork algebras, admitting a large number of non-isomorphic expansions, referred to as explosive relation algebras. In this work we discuss some general techniques for constructing algebras of this type.