English
Related papers

Related papers: Service Choreography, SBVR, and Time

200 papers

An approach to the formal description of service contracts is presented in terms of automata. We focus on the basic property of guaranteeing that in the multi-party composition of principals each of them gets his requests satisfied, so that…

Logic in Computer Science · Computer Science 2023-06-22 Davide Basile , Pierpaolo Degano , Gian-Luigi Ferrari

Language is an interface to the outside world. In order for embodied agents to use it, language must be grounded in other, sensorimotor modalities. While there is an extended literature studying how machines can learn grounded language, the…

Artificial Intelligence · Computer Science 2021-10-12 Tristan Karch , Laetitia Teodorescu , Katja Hofmann , Clément Moulin-Frier , Pierre-Yves Oudeyer

In the context of Service-Oriented Computing, applications can be developed following the REST (Representation State Transfer) architectural style. This style corresponds to a resource-oriented model, where resources are manipulated via…

Programming Languages · Computer Science 2010-07-30 Mayleen Lacouture , Hervé Grall , Thomas Ledoux

A system-of-systems (SoS) is a large information processing system formed by the integration of autonomous computer systems (called constituent systems, CS), physical machines and humans for the purpose of providing new synergistic services…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-04-29 Hermann Kopetz

Reasoning about spatial relationships between objects is essential for many real-world robotic tasks, such as fetch-and-delivery, object rearrangement, and object search. The ability to detect and disambiguate different objects and identify…

Computer Vision and Pattern Recognition · Computer Science 2024-10-11 Negar Nejatishahidin , Madhukar Reddy Vongala , Jana Kosecka

Recently, models for user representation learning have been widely applied in click-through-rate (CTR) and conversion-rate (CVR) prediction. Usually, the model learns a universal user representation as the input for subsequent…

Machine Learning · Computer Science 2024-09-24 Xiaoyu Tan , Yongxin Deng , Chao Qu , Siqiao Xue , Xiaoming Shi , James Zhang , Xihe Qiu

We present an overview of some recent efforts aimed at the development of Choreographic Programming, a programming paradigm for the production of concurrent software that is guaranteed to be correct by construction from global descriptions…

Programming Languages · Computer Science 2015-02-11 Fabrizio Montesi

Service composition is an aggregate of services often leveraged to automate the enterprise business processes. While Service Oriented Architecture (SOA) has been a forefront of service composition, services can be realized as efficient…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-01-12 Pradeeban Kathiravelu , Tihana Galinac Grbac , Luís Veiga

Web Services provide interoperable mechanisms for describing, locating and invoking services over the Internet; composition further enables to build complex services out of simpler ones for complex B2B applications. While current studies on…

Software Engineering · Computer Science 2013-11-12 Manuel Mazzara , Michele Ciavotta

The usage of process choreographies and decentralized Business Process Management Systems has been named as an alternative to centralized business process orchestration. In choreographies, control over a process instance is shared between…

Software Engineering · Computer Science 2017-08-21 Christoph Prybila , Stefan Schulte , Christoph Hochreiner , Ingo Weber

Service orientation fosters a high-level model for distributed applications development, which is based on the discovery, composition and reuse of existing software services. However, the heterogeneity among current service-oriented…

Software Engineering · Computer Science 2013-08-30 Michael Pantazoglou

Software systems development nowadays has moved towards dynamic composition of services that run on distributed infrastructures aligned with continuous changes in the system requirements. Consequently, software developers need to tailor…

Software Engineering · Computer Science 2020-05-12 Mahdi Fahmideh , Mohsen Sharifi , Fereidoon Shams , Hasan Haghighi

Session-Based Recommenders (SBRs) aim to predict users' next preferences regard to their previous interactions in sessions while there is no historical information about them. Modern SBRs utilize deep neural networks to map users' current…

Information Retrieval · Computer Science 2023-12-18 Reza Yeganegi , Saman Haratizadeh

Group dance generation from music requires synchronizing multiple dancers while maintaining spatial coordination, making it highly relevant to applications such as film production, gaming, and animation. Recent group dance generation models…

Machine Learning · Computer Science 2026-03-25 Jing Xu , Weiqiang Wang , Cunjian Chen , Jun Liu , Qiuhong Ke

Visual speech recognition (VSR) systems decode spoken words from an input sequence using only the video data. Practical applications of such systems include medical assistance as well as human-machine interactions. A VSR system is typically…

Computer Vision and Pattern Recognition · Computer Science 2025-08-26 Iason Ioannis Panagos , Giorgos Sfikas , Christophoros Nikou

Social and collaborative services have widely spread within the enterprises as they play a part in improving productivity and business outcomes. However, the deployment of these services fluctuates between success and failure. This paper…

Computers and Society · Computer Science 2016-02-29 Mayla Alimam , Emmanuel Bertin , Noel Crespi

Vision-Language Navigation (VLN) requires an embodied agent to navigate complex environments by following natural language instructions, which typically demands tight fusion of visual and language modalities. Existing VLN methods often…

Computer Vision and Pattern Recognition · Computer Science 2026-03-31 Daojie Peng , Fulong Ma , Jun Ma

We present a graphical and dynamic framework for binding and execution of business) process models. It is tailored to integrate 1) ad hoc processes modeled graphically, 2) third party services discovered in the (Inter)net, and 3)…

Software Engineering · Computer Science 2013-09-23 Johannes Neubauer , Bernhard Steffen , Tiziana Margaria

Modern enterprise computing systems integrate numerous subsystems to resolve a common task by yielding emergent behavior. A widespread approach is using services implemented with Web technologies like REST or OpenAPI, which offer an…

Software Engineering · Computer Science 2025-07-29 Robin D. Pesl

We propose Continuous Scene Representations (CSR), a scene representation constructed by an embodied agent navigating within a space, where objects and their relationships are modeled by continuous valued embeddings. Our method captures…

Computer Vision and Pattern Recognition · Computer Science 2022-04-01 Samir Yitzhak Gadre , Kiana Ehsani , Shuran Song , Roozbeh Mottaghi