Zobrazeno 1 - 10
of 159
pro vyhledávání: '"Pombo, Carlos"'
The shift from monolithic applications to composition of distributed software initiated in the early twentieth, is based on the vision of software-as-service. This vision, found in many technologies such as RESTful APIs, advocates globally available
Externí odkaz:
http://arxiv.org/abs/2404.19633
We propose a framework for expressing and analyzing the Quality of Service (QoS) of message-passing systems using a choreographic model that consists of g-choreographies and Communicating Finite State machines (CFSMs). The following are our three mai
Externí odkaz:
http://arxiv.org/abs/2311.01414
We present MoCheQoS, a bounded model checker to analyse (QoS) properties of message-passing systems. Building on the dynamic temporal logic, the choreographic model, and the bounded model checking algorithm defined in our ICTAC 2023 paper, MoCheQoS e
Externí odkaz:
http://arxiv.org/abs/2311.01415
Software artifacts are ubiquitous in our lives being an essential part of home appliances, cars, cel phones, and even in more critical activities like aeronautics and health sciences. In this context software failures may produce enormous losses, eit
Externí odkaz:
http://arxiv.org/abs/2206.07180
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 executi
Externí odkaz:
http://arxiv.org/abs/2205.09877
Blockholder voting power and investment decisions: Evidence from cross-border deals in Latin America
Publikováno v:
In Journal of Economics and Business September-October 2024 131
Logic has proved essential for formally modeling software based systems. Such formal descriptions, frequently called specifications, have served not only as requirements documentation and formalisation, but also for providing the mathematical foundat
Externí odkaz:
http://arxiv.org/abs/2107.08253
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 algeb
Externí odkaz:
http://arxiv.org/abs/2009.02720
Publikováno v:
Academia Revista Latinoamericana de Administración, 2021, Vol. 34, Issue 3, pp. 329-342.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/ARLA-09-2021-364
Autor:
Pombo, Carlos, De La Hoz, Maria Camila
Publikováno v:
Managerial Finance, 2021, Vol. 47, Issue 10, pp. 1511-1532.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/MF-08-2020-0429