English
Related papers

Related papers: A lower bound on web services composition

200 papers

A formal description of a Cyber-Physical system should include a rigorous specification of the computational and physical components involved, as well as their interaction. Such a description, thus, lends itself to a compositional model…

Logic in Computer Science · Computer Science 2016-12-16 Tobias Kappé , Farhad Arbab , Carolyn Talcott

Cloud computing is an emerging concept combining many fields of computing. The foundation of cloud computing is the delivery of services, software and processing capacity over the Internet, reducing cost, increasing storage, automating…

Networking and Internet Architecture · Computer Science 2011-07-26 Dejan Kovachev , Yiwei Cao , Ralf Klamma

The aim of this review paper is to bring into light a potential area i.e., web services supply chains for research by analyzing the existing state of art in this. It is observed from the review process that there seems to be much less work…

Systems and Control · Computer Science 2012-04-06 V. Krithika , Dr. Arshinder Kaur , Dr. K. Chandra Sekaran

Web services represent a system with a huge number of units and many various and complex interactions. Complex networks as a tool for modelling and analyzing natural environments seem to be well adapted to such a complex system. To describe…

Software Engineering · Computer Science 2013-05-02 Chantal Cherifi , Jean-François Santucci

The growing proliferation of distributed information systems, allows organizations to offer their business processes to a worldwide audience through Web services. Semantic Web services have emerged as a means to achieve the vision of…

Software Engineering · Computer Science 2012-10-12 Keyvan Mohebbi , Suhaimi Ibrahim , Norbik Bashah Idris

Modeling and analysis of interactions among services is a crucial issue in Service-Oriented Computing. Composing Web services is a complicated task which requires techniques and tools to verify that the new system will behave correctly. In…

Software Engineering · Computer Science 2010-09-21 Gwen Salaün

We investigate unitary and state $t$-designs from a computational complexity perspective. First, we address the problems of computing frame potentials that characterize (approximate) $t$-designs. We present a quantum algorithm for computing…

Quantum Physics · Physics 2025-09-17 Yoshifumi Nakata , Yuki Takeuchi , Martin Kliesch , Andrew Darmawan

In this paper, we propose upper and lower error bounding techniques for reduced order modelling applied to the computational homogenisation of random composites. The upper bound relies on the construction of a reduced model for the stress…

Numerical Analysis · Mathematics 2014-05-26 Pierre Kerfriden , Juan José Ródenas García , Stéphane Pierre-Alain Bordas

Building complex software systems necessitates the use of component-based architectures. In theory, of the set of components needed for a design, only some small portion of them are "custom"; the rest are reused or refactored existing…

Software Engineering · Computer Science 2007-05-23 Joseph R. Kiniry

We propose a novel technique for constructing a graph representation of a code through which we establish a significant connection between the service rate problem and the well-known fractional matching problem. Using this connection, we…

Information Theory · Computer Science 2020-01-27 Fatemeh Kazemi , Esmaeil Karimi , Emina Soljanin , Alex Sprintson

Many real-world complex systems such as social, biological, information as well as technological systems results of a decentralized and unplanned evolution which leads to a common structuration. Irrespective of their origin, these so-called…

Social and Information Networks · Computer Science 2013-05-03 Chantal Cherifi , Jean-François Santucci

The behavior composition problem involves automatically building a controller that is able to realize a desired, but unavailable, target system (e.g., a house surveillance) by suitably coordinating a set of available components (e.g., video…

Artificial Intelligence · Computer Science 2016-07-05 Nitin Yadav , Sebastian Sardina

Resource-constrained systems are prevalent in communications. Such a system is composed of many components but only some of them can be allocated with resources such as time slots. According to the amount of information about the system,…

Information Theory · Computer Science 2014-04-02 Albert Y. S. Lam , Yanhui Geng , Victor O. K. Li

Conformal prediction is a framework for uncertainty quantification that constructs prediction sets for previously unseen data, guaranteeing coverage of the true label with a specified probability. However, the efficiency of these prediction…

Machine Learning · Computer Science 2026-01-06 Erfan Hajihashemi , Yanning Shen

We consider the setting where a service is hosted on a third-party edge server deployed close to the users and a cloud server at a greater distance from the users. Due to the proximity of the edge servers to the users, requests can be…

Networking and Internet Architecture · Computer Science 2024-03-07 Aadesh Madnaik , Sharayu Moharir , Nikhil Karamchandani

We explore the connection between an agent's decision problem and her ranking of information structures. We find that a finite amount of ordinal data on the agent's ranking of experiments is enough to identify her (finite) set of…

Theoretical Economics · Economics 2024-04-02 Mark Whitmeyer

The Mobile intermittent wireless connectivity limits the evolution of the mobile landscape, such that this progress coupled with the ubiquitous nature of the Internet and the web services. The web service Reliability achieves the low…

Software Engineering · Computer Science 2022-07-28 Amr S. Abdelfattah , Tamer Abdelkader , EI-Sayed M. EI-Horbaty

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

Network design, a cornerstone of mathematical optimization, is about defining the main characteristics of a network satisfying requirements on connectivity, capacity, and level-of-service. It finds applications in logistics and…

Optimization and Control · Mathematics 2021-07-05 Naga V. C. Gudapati , Enrico Malaguti , Michele Monaci

Composing Web services is a convenient means of dealing with complex requests. However, the number of Web services on the Internet is increasing. This explains the growing interest in composing Web services automatically. Nevertheless, the…

Networking and Internet Architecture · Computer Science 2010-04-20 Fatima-Zahra Belouadha , Hajar Omrana , Ounsa Roudies