中文
相关论文

相关论文: Service Choreography, SBVR, and Time

200 篇论文

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…

计算机科学中的逻辑 · 计算机科学 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…

人工智能 · 计算机科学 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…

编程语言 · 计算机科学 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…

分布式、并行与集群计算 · 计算机科学 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…

计算机视觉与模式识别 · 计算机科学 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…

机器学习 · 计算机科学 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…

编程语言 · 计算机科学 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…

分布式、并行与集群计算 · 计算机科学 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…

软件工程 · 计算机科学 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…

软件工程 · 计算机科学 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…

软件工程 · 计算机科学 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…

软件工程 · 计算机科学 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…

信息检索 · 计算机科学 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…

机器学习 · 计算机科学 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…

计算机视觉与模式识别 · 计算机科学 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…

计算机与社会 · 计算机科学 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…

计算机视觉与模式识别 · 计算机科学 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)…

软件工程 · 计算机科学 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…

软件工程 · 计算机科学 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…

计算机视觉与模式识别 · 计算机科学 2022-04-01 Samir Yitzhak Gadre , Kiana Ehsani , Shuran Song , Roozbeh Mottaghi