A recent trend in programming language research is to use behavioral type theory to ensure various correctness properties of largescale, communication-intensive systems. Behavioral …
Over the last decade, global descriptions have been successfully employed for the verification and implementation of communicating systems, respectively as protocol …
The rise of virtualized and distributed infrastructures has led to new challenges to accomplish the effective use of compute resources through the design and orchestration of …
Choreographies are descriptions of distributed systems where the developer gives a global view of how messages are exchanged by endpoint nodes (endpoints for short), instead of …
X Chen, X Deng, SH Teng - 2006 47th Annual IEEE …, 2006 - ieeexplore.ieee.org
We advance significantly beyond the recent progress on the algorithmic complexity of Nash equilibria by solving two major open problems in the approximation of Nash equilibria and in …
The wide adoption of service-oriented computing has led to a heterogeneous scenario formed by different technologies and specifications. Examples can be found both at the …
Mobility is a crucial sector for the livability of urban spaces, both in terms of accessibility for people with disabilities, and in terms of enjoyability by people with different interests. The …
This work presents an architecture to help designing and deploying smart mobility applications. The proposed solution builds on the experience already matured by the …
Microservices is an emerging development paradigm where software is obtained by composing autonomous entities, called (micro) services. However, microservice systems are …