English
Related papers

Related papers: Distributed Enforcement of Service Choreographies

200 papers

The development of pervasive computing has put the light on a challenging problem: how to dynamically compose services in heterogeneous and highly changing environments? We propose a survey that defines the service composition as a sequence…

Software Engineering · Computer Science 2009-09-14 Noha Ibrahim , Frederic Le Mouel

Peer to peer (P2P) systems are moving from application specific architectures to a generic service oriented design philosophy. This raises interesting problems in connection with providing useful P2P middleware services that are capable of…

Distributed, Parallel, and Cluster Computing · Computer Science 2007-05-23 Antonio Fernandez , Vincent Gramoli , Ernesto Jimenez , Anne-Marie Kermarrec , Michel Raynal

This paper discusses dynamical systems for disk-covering and sphere-packing problems. We present facility location functions from geometric optimization and characterize their differentiable properties. We design and analyze a collection of…

Optimization and Control · Mathematics 2007-05-23 Jorge Cortes , Francesco Bullo

Technologies for composition of loosely-coupled web services in a modular and flexible way are in high demand today. On the one hand, the services must be flexible enough to be reused in a variety of contexts. On the other hand, they must…

Software Engineering · Computer Science 2016-10-28 Pavel Zaichenkov , Olga Tveretina , Alex Shafarenko

VISP (Virtual Internet Service Provider) is an IST-STREP project, which is conducting research in the field of these new technologies, targeted to telecom/ISP companies. One of the first tasks of the VISP project is to identify the most…

Software Engineering · Computer Science 2009-04-24 Florin Fortis , Alexandra Fortis

A recurrent task in coordinated systems is managing (estimating, predicting, or controlling) signals that vary in space, such as distributed sensed data or computation outcomes. Especially in large-scale settings, the problem can be…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-02-14 Roberto Casadei , Stefano Mariani , Danilo Pianini , Mirko Viroli , Franco Zambonelli

In an edge-cloud multi-tier network, datacenters provide services to mobile users, with each service having specific latency constraints and computational requirements. Deploying such a variety of services while matching their requirements…

Networking and Internet Architecture · Computer Science 2025-02-03 Itamar Cohen , Paolo Giaccone , Carla Fabiana Chiasserini

Programming models for distributed dataflow have long focused on analytical workloads that allow the runtime to dynamically place and schedule compute logic. Meanwhile, models that enable fine-grained control over placement, such as actors,…

Programming Languages · Computer Science 2024-06-24 Shadaj Laddad , Alvin Cheung , Joseph M. Hellerstein

Classical approaches like process algebras or labelled transition systems deal with static composition to model non-trivial concurrent or distributed systems; this is not sufficient for systems with dynamic architecture and with variable…

Software Engineering · Computer Science 2011-12-30 Christian Attiogbé

Distributed computing which uses Web services as fundamental elements, enables high-speed development of software applications through composing many interoperating, distributed, re-usable, and autonomous services. As a fundamental…

Artificial Intelligence · Computer Science 2019-01-18 Soheila Sadeghiram , Hui MA , Gang Chen

We propose a heuristics-based social-sensor cloud service selection and composition model to reconstruct mosaic scenes. The proposed approach leverages crowdsourced social media images to create an image mosaic to reconstruct a scene at a…

Computer Vision and Pattern Recognition · Computer Science 2020-09-25 Tooba Aamir , Hai Dong , Athman Bouguettaya

This paper presents some of the results of the first year of DANSE, one of the first EU IP projects dedicated to SoS. Concretely, we offer a tool chain that allows to specify SoS and SoS requirements at high level, and analyse them using…

Software Engineering · Computer Science 2013-11-15 Alexandre Arnold , Benoît Boyer , Axel Legay

Distributed diffusion is a powerful algorithm for multi-task state estimation which enables networked agents to interact with neighbors to process input data and diffuse information across the network. Compared to a centralized approach,…

Multiagent Systems · Computer Science 2020-03-27 Jiani Li , Xenofon Koutsoukos

Addressing the diverse fault morphologies, complex dependencies, and time-varying operational states in microservice distributed systems, this paper proposes a distributed fault discrimination model based on temporal graph neural networks.…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-05-05 Yihan Xue , Yuxiao Wang , Ao Zhu , Xiaoxuan Sun , Chong Zhang

Nowadays, application of Service Oriented Architecture is increasing rapidly; especially since introduction of distributed electronic services on the web. SOA software has a modular manner and works as a collaboration of independent…

Software Engineering · Computer Science 2012-03-15 Pouya Fatehi , Seyyed Mohsen Hashemi

Elder people are becoming a predominant aspect of our societies. As such, solutions both efficacious and cost-effective need to be sought. This paper proposes a service-oriented infrastructure approach to this problem. We propose an open…

Computers and Society · Computer Science 2014-01-16 Ning Gui , Vincenzo De Florio , Hong Sun , Chris Blondia

Group dance generation from music has broad applications in film, gaming, and animation production. However, it requires synchronizing multiple dancers while maintaining spatial coordination. As the number of dancers and sequence length…

Artificial Intelligence · Computer Science 2025-07-31 Jing Xu , Weiqiang Wang , Cunjian Chen , Jun Liu , Qiuhong Ke

Performance analysis of microservices can be a challenging task, as a typical request to these systems involves multiple Remote Procedure Calls (RPC) spanning across independent services and machines. Practitioners primarily rely on…

Software Engineering · Computer Science 2023-02-27 Jessica Leone , Luca Traini

In this paper, we introduce an agent-based model for coalition formation which is suitable for our usecase. We propose here two clearing-houses mechanisms that return sound matchings. The first aims at maximizing the global satisfaction of…

Computer Science and Game Theory · Computer Science 2018-03-22 Maxime Morge , Antoine Nongaillard

Dance serves as a powerful medium for expressing human emotions, but the lifelike generation of dance is still a considerable challenge. Recently, diffusion models have showcased remarkable generative abilities across various domains. They…

Sound · Computer Science 2024-06-25 Canyu Zhang , Youbao Tang , Ning Zhang , Ruei-Sung Lin , Mei Han , Jing Xiao , Song Wang