English
Related papers

Related papers: Soft Constraints for Quality Aspects in Service Or…

200 papers

Today we see the use of the Internet of Things (IoT) in various application domains such as healthcare, smart homes, smart cars, and smart-x applications in smart cities. The number of applications based on IoT and cloud computing is…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-10-08 Awatif Alqahtani , Pankesh Patel , Ellis Solaiman , Rajiv Ranjan

The Internet of Things supports various industrial applications. The cooperation and coordination of smart things are a promising strategy for satisfying requirements that are beyond the capacity of a single smart thing. One of the major…

Software Engineering · Computer Science 2021-03-10 Frédéric Lemoine , Tatiana Aubonnet , Noëmie Simoni

Answer Set Programming with Quantifiers (ASP(Q)) has been introduced to provide a natural extension of ASP modeling to problems in the polynomial hierarchy (PH). However, ASP(Q) lacks a method for encoding in an elegant and compact way…

Artificial Intelligence · Computer Science 2025-01-22 Giuseppe Mazzotta , Francesco Ricca , Mirek Truszczynski

We consider the design of wireless queueing network control policies with particular focus on combining stability with additional application-dependent requirements. Thereby, we consequently pursue a cost function based approach that…

Information Theory · Computer Science 2017-07-19 Martin Kasparick , Gerhard Wunder

As the number of Web services with the same or similar functions increases steadily on the Internet, nowadays more and more service consumers pay great attention to the non-functional properties of Web services, also known as quality of…

Information Retrieval · Computer Science 2015-01-20 Mingming Chen , Yutao Ma

We describe and analyze algorithms for shape-constrained symbolic regression, which allows the inclusion of prior knowledge about the shape of the regression function. This is relevant in many areas of engineering -- in particular whenever…

Neural and Evolutionary Computing · Computer Science 2021-07-21 Christian Haider , Fabricio Olivetti de França , Bogdan Burlacu , Gabriel Kronberger

In most machine learning applications, classification accuracy is not the primary metric of interest. Binary classifiers which face class imbalance are often evaluated by the $F_\beta$ score, area under the precision-recall curve, Precision…

Machine Learning · Computer Science 2018-03-02 Alan Mackey , Xiyang Luo , Elad Eban

The Recapitulation of Web service is an approach for the effective integration of distributed, heterogeneous and autonomous applications to build more Structured and value added services. Web services selection algorithms are required to…

Software Engineering · Computer Science 2012-12-12 Ashok kumar. P. S , G. Mahadevan , Gopal Krishna. C

We introduce a general abstract framework for database repairs, where the repair notions are defined using formal logic. We distinguish between integrity constraints and so-called query constraints. The former are used to model consistency…

Databases · Computer Science 2025-03-31 Nicolas Fröhlich , Arne Meier , Nina Pardal , Jonni Virtema

Software as a Service (SaaS) is well established as an effective model for the development, deployment and customization of software. As it continues to gain more momentum in the IT industry, many user experience challenges and issues are…

Human-Computer Interaction · Computer Science 2018-12-11 Lakshmi Sirisha Revadi , Xi Zheng , Yupeng Jiang

We present an approach for modelling the structure and coarse content of legal documents with a view to providing automated support for the drafting of contracts and contract database retrieval. The approach is designed to be applicable…

Artificial Intelligence · Computer Science 2007-05-23 Aspassia Daskalopulu , Marek Sergot

Software engineering and information systems practices seek ultimately to create the flawless product. One of the tools used to improve the quality of software development is the use of metrics. In this paper, metrics retrieved from open…

Software Engineering · Computer Science 2015-11-11 Mamdouh Alenezi , Ibrahim Abunadi

We introduce CODS (Computational Optimization in Design Space), a theoretical model that frames computational design as a constrained optimization problem over a structured, multi-dimensional design space. Unlike existing methods that rely…

Human-Computer Interaction · Computer Science 2025-06-24 Nan Cao , Xiaoyu Qi , Chuer Chen , Xiaoke Yan

The direct measurement of quality is difficult because there is no way we can measure quality factors. For measuring these factors, we have to express them in terms of metrics or models. Researchers have developed quality models that…

Software Engineering · Computer Science 2010-04-28 Devpriya Soni , Namita Shrivastava , M. Kumar

The Web is becoming more and more a wide software framework on which each one can compose and use contents, software applications and services. It can offer adequate computational resources to manage the complexity implied by the use of the…

Human-Computer Interaction · Computer Science 2017-04-05 Patrizia Grifoni , Fernando Ferri , Maria Chiara Caschera , Arianna D'Ulizia , Mauro Mazzei

The Internet of Things (IoT) paradigm is drastically changing our world by making everyday objects an integral part of the Internet. This transformation is increasingly being adopted in the healthcare sector, where Smart Hospitals are now…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-03-14 Rajkumar Buyya , Satish N. Srirama , Redowan Mahmud , Mohammad Goudarzi , Leila Ismail , Vassilis Kostakos

Utilising quantum computing technology to enhance artificial intelligence systems is expected to improve training and inference times, increase robustness against noise and adversarial attacks, and reduce the number of parameters without…

Software Engineering · Computer Science 2024-12-18 Mykhailo Klymenko , Thong Hoang , Xiwei Xu , Zhenchang Xing , Muhammad Usman , Qinghua Lu , Liming Zhu

Service Oriented Software Engineering is based on concepts and principles for constructing complex enterprise systems in which services as building block of the system, are distributed in large networks. The main goal of the service…

Software Engineering · Computer Science 2020-04-21 Mahdi Fahmideh , Jafar Habibi , Fereidoon Shams , Sedigheh Khoshnevis

A web service is modeled here as a finite state machine. A composition problem for web services is to decide if a given web service can be constructed from a given set of web services; where the construction is understood as a simulation of…

Logic in Computer Science · Computer Science 2015-07-01 Anca Muscholl , Igor Walukiewicz

Deploying successful software-reliant systems that address their mission goals and user needs within cost, resource, and expected quality constraints require design trade-offs. These trade-offs dictate how systems are structured and how…

Other Computer Science · Computer Science 2019-11-11 Lena Pons , Ipek Ozkaya