English
Related papers

Related papers: Cloud Service Matchmaking using Constraint Program…

200 papers

Resource scheduling in infrastructure as a service (IaaS) is one of the keys for large-scale Cloud applications. Extensive research on all issues in real environment is extremely difficult because it requires developers to consider network…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-08-27 Wenhong Tian , Minxian Xu , Aiguo Chen , Guozhong Li , Xinyang Wang , Yu Chen

The payload of communications satellites must go through a series of tests to assert their ability to survive in space. Each test involves some equipment of the payload to be active, which has an impact on the temperature of the payload.…

Artificial Intelligence · Computer Science 2017-01-24 Emmanuel Hébrard , Marie-José Huguet , Daniel Veysseire , Ludivine Sauvan , Bertrand Cabon

Many real applications problems can be encoded easily as quantified formulas in SMT. However, this simplicity comes at the cost of difficulty during solving by SMT solvers. Different strategies and quantifier instantiation techniques have…

Logic in Computer Science · Computer Science 2025-08-13 Mudathir Mohamed , Nick Feng , Andrew Reynolds , Cesare Tinelli , Clark Barrett , Marsha Chechik

Internet of Things (IoT) promises to bring ease of monitoring, better efficiency and innovative services across many domains with connected devices around us. With information from critical parts of infrastructure and powerful cloud-based…

We consider a vehicle routing problem which seeks to minimize cost subject to time window and synchronization constraints. In this problem, the fleet of vehicles is categorized into regular and special vehicles. Some customers require both…

Artificial Intelligence · Computer Science 2019-10-31 Minh Hoàng Hà , Tat Dat Nguyen , Thinh Nguyen Duy , Hoang Giang Pham , Thuy Do , Louis-Martin Rousseau

Multimedia conferencing is used extensively in a wide range of applications, such as online games and distance learning. These applications need to efficiently scale the conference size as the number of participants fluctuates. Cloud is a…

Quality of Service (QoS) has gained more importance with the increase in usage and adoption of web services. In recent years, various tools and techniques developed for measurement and evaluation of QoS of web services. There are commercial…

Software Engineering · Computer Science 2013-06-19 Shariq Hussain , Zhaoshun Wang , Ibrahima Kalil Toure , Abdoulaye Diop

Constraint satisfaction problem (CSP) has been actively used for modeling and solving a wide range of complex real-world problems. However, it has been proven that developing efficient methods for solving CSP, especially for large problems,…

Artificial Intelligence · Computer Science 2021-06-10 Zouhayra Ayadi , Wadii Boulila , Imed Riadh Farah

The growth of real world objects with embedded and globally networked sensors allows to consolidate the Internet of Things paradigm and increase the number of applications in the domains of ubiquitous and context-aware computing. The…

Networking and Internet Architecture · Computer Science 2016-11-17 Luiz H. Nunes , Julio C. Estrella , Charith Perera , Stephan Reiff-Marganiec , Alexandre N. Delbem

Multi-cloud computing has become increasingly popular with enterprises looking to avoid vendor lock-in. While most cloud providers offer similar functionality, they may differ significantly in terms of performance and/or cost. A customer…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-04-21 Małgorzata Łazuka , Thomas Parnell , Andreea Anghel , Haralampos Pozidis

Abstract The cloud computing is a key computing approach adopted by many organizations in order to share resources. It provides Everything As-A-Service (XaaS). Software-As-A-Service is an important resource on the cloud computing…

Software Engineering · Computer Science 2019-05-28 Dhanamma Jagli , Seema Purohit , N. Subash Chandra

The increasingly wide application of Cloud Computing enables the consolidation of tens of thousands of applications in shared infrastructures. Thus, meeting the quality of service requirements of so many diverse applications in such shared…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-01-06 Lan Wang , Erol Gelenbe

Cloud computing is an emerging platform of service computing designed for swift and dynamic delivery of assured computing resources. Cloud computing provide Service-Level Agreements (SLAs) for guaranteed uptime availability for enabling…

Software Engineering · Computer Science 2010-04-13 T. Vengattaraman , P. Dhavachelvan , R. Baskaran

A computing infrastructure where everything is a service offers many new system and application possibilities. Among the main challenges, however, is the issue of service substitution for the application execution in such heterogeneous…

Software Engineering · Computer Science 2015-05-19 Noha Ibrahim , Frédéric Le Mouël , Stéphane Frénot

In distributed ML applications, shared parameters are usually replicated among computing nodes to minimize network overhead. Therefore, proper consistency model must be carefully chosen to ensure algorithm's correctness and provide high…

Machine Learning · Statistics 2014-01-03 Jinliang Wei , Wei Dai , Abhimanu Kumar , Xun Zheng , Qirong Ho , Eric P. Xing

Software as a service (SaaS) has recently enjoyed much attention as it makes the use of software more convenient and cost-effective. At the same time, the arising of users' expectation for high quality service such as real-time information…

Software Engineering · Computer Science 2016-04-13 Feng-Lin Li , Chi-Hung Chi , Yue Wang , Cong Liu

We study the problem of optimizing the performance of cognitive radio users with opportunistic real-time applications subject to primary users quality-of-service (QoS) constraints. Two constrained optimization problems are formulated; the…

Networking and Internet Architecture · Computer Science 2016-11-18 Adel M. Elmahdy , Amr El-Keyi , Tamer ElBatt , Karim G. Seddik

Modern Internet services are increasingly leveraging on cloud computing for flexible, elastic and on-demand provision. Typically, Quality of Service (QoS) of cloud-based services can be tuned using different underlying cloud configurations…

Software Engineering · Computer Science 2016-08-16 Tao Chen

Given a wireless network where some pairs of communication links interfere with each other, we study sufficient conditions for determining whether a given set of minimum bandwidth Quality of Service (QoS) requirements can be satisfied. We…

Information Theory · Computer Science 2009-06-23 Ashwin Ganesan

Bid-centric service descriptions have the potential to offer a new cloud service provisioning model that promotes portability, diversity of choice and differentiation between providers. A bid matching model based on requirements and…

Distributed, Parallel, and Cluster Computing · Computer Science 2013-12-18 Philip Healy , Stefan Meyer , John Morrison , Theo Lynn , Ashkan Paya , Dan C. Marinescu