English
Related papers

Related papers: An Integrated Semantic Web Service Discovery and C…

200 papers

Service composition aims at achieving a business goal by composing existing service-based applications or components. The response time of a service is crucial especially in time critical business environments, which is often stated as a…

Software Engineering · Computer Science 2020-03-19 Étienne André , Tian Huat Tan , Manman Chen , Shuang Liu , Jun Sun , Yang Liu , Jin Song Dong

Hypergraphs, increasingly utilised to model complex and diverse relationships in modern networks, have gained significant attention for representing intricate higher-order interactions. Among various challenges, cohesive subgraph discovery…

Social and Information Networks · Computer Science 2025-07-14 Dahee Kim , Hyewon Kim , Song Kim , Minseok Kim , Junghoon Kim , Yeon-Chang Lee , Sungsu Lim

Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysis is an attractive, but non-trivial approach. We have…

Cryptography and Security · Computer Science 2007-05-23 Suzana Andova , Cas Cremers , Kristian Gjosteen , Sjouke Mauw , Stig F. Mjolsnes , Sasa Radomirovic

Hypergraphs, increasingly utilised for modelling complex and diverse relationships in modern networks, gain much attention representing intricate higher-order interactions. Among various challenges, cohesive subgraph discovery is one of the…

Social and Information Networks · Computer Science 2025-12-30 Song Kim , Dahee Kim , Taejoon Han , Junghoon Kim , Hyun Ji Jeong , Jungeun Kim

Well-designed queuing systems form the backbone of modern communications, distributed computing, and content delivery architectures. Designs balancing infrastructure costs and user experience indices require tools from teletraffic theory…

Information Theory · Computer Science 2019-07-23 Srujan Teja Thomdapu , Ketan Rajawat

Research in the Life Sciences depends on the integration of large, distributed and heterogeneous data sources and web services. The discovery of which of these resources are the most appropriate to solve a given task is a complex research…

Artificial Intelligence · Computer Science 2010-12-09 Maria Perez , Rafael Berlanga , Ismael Sanz

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

We propose a novel graph-based approach for semantic parsing that resolves two problems observed in the literature: (1) seq2seq models fail on compositional generalization tasks; (2) previous work using phrase structure parsers cannot cover…

Computation and Language · Computer Science 2023-02-16 Alban Petit , Caio Corro

The explosive growth of user devices and emerging applications is driving unprecedented traffic demands, accompanied by stringent Quality of Service (QoS) requirements. Addressing these challenges necessitates innovative service…

Networking and Internet Architecture · Computer Science 2025-04-16 Mohammad Farhoudi , Masoud Shokrnezhad , Somayeh Kianpisheh , Tarik Taleb

Service composition enables customizable services to be provided to the service consumers. Since the capabilities and the performances of mobile devices (e.g., smart phone, PDA, handheld media player) have improved, a mobile device can be…

Distributed, Parallel, and Cluster Computing · Computer Science 2013-04-19 Chii Chang , Sea Ling

Temporal grounding is the task of locating a specific segment from an untrimmed video according to a query sentence. This task has achieved significant momentum in the computer vision community as it enables activity grounding beyond…

Computer Vision and Pattern Recognition · Computer Science 2023-05-16 Juncheng Li , Siliang Tang , Linchao Zhu , Wenqiao Zhang , Yi Yang , Tat-Seng Chua , Fei Wu , Yueting Zhuang

Due to the increased complexity of software development projects more and more systems are described by models. The sheer size makes it impractical to describe these systems by a single model. Instead many models are developed that provide…

Software Engineering · Computer Science 2014-09-24 Christoph Herrmann , Holger Krahn , Bernhard Rumpe , Martin Schindler , Steven Völkel

Automatic Service Composition is a research direction aimed at facilitating the usage of atomic web services. Particularly, the goal is to build workflows of services that solve specific queries, which cannot be resolved by any single…

Software Engineering · Computer Science 2020-05-12 Paul Diac , Liana Ţucăr , Andrei Netedu

Following our recent development of a compositional model checking algorithm for Markov decision processes, we present a compositional framework for solving mean payoff games (MPGs). The framework is derived from category theory,…

Logic in Computer Science · Computer Science 2023-07-18 Kazuki Watanabe , Clovis Eberhart , Kazuyuki Asada , Ichiro Hasuo

The increasing prevalence of graph-structured data across various domains has intensified greater interest in graph classification tasks. While numerous sophisticated graph learning methods have emerged, their complexity often hinders…

Machine Learning · Computer Science 2025-09-03 Saiful Islam , Md. Nahid Hasan , Pitambar Khanra

In the context of security protocol parallel composition, where messages belonging to different protocols can intersect each other, we introduce a new paradigm: term-based composition (i.e. the composition of message components also known…

Cryptography and Security · Computer Science 2016-11-18 Bela Genge , Piroska Haller , Ovidiu Ratoi , Iosif Ignat

We present a data-driven framework to automate the vectorization and machine interpretation of 2D engineering part drawings. In industrial settings, most manufacturing engineers still rely on manual reads to identify the topological and…

Computer Vision and Pattern Recognition · Computer Science 2023-03-15 Wentai Zhang , Joe Joseph , Yue Yin , Liuyue Xie , Tomotake Furuhata , Soji Yamakawa , Kenji Shimada , Levent Burak Kara

The growing popularity of dynamic applications such as social networks provides a promising way to detect valuable information in real time. Efficient analysis over high-speed data from dynamic applications is of great significance. Data…

Databases · Computer Science 2018-09-05 Youhuan Li , Lei Zou , M. Tamer Ozsu , Dongyan Zhao

This paper addresses the problems of missing reasoning chains and insufficient entity-level semantic understanding in large language models when dealing with tasks that require structured knowledge. It proposes a fine-tuning algorithm…

Computation and Language · Computer Science 2025-08-21 Wuyang Zhang , Yexin Tian , Xiandong Meng , Mengjie Wang , Junliang Du

The development of an IT strategy and ensuring that it is the best possible one for business is a key problem many organizations face. This problem is that of linking business architecture to IT architecture in general and application…

Software Engineering · Computer Science 2024-07-25 Suresh Kamath