With the range and sensitivity of algorithmic decisions expanding at a break-neck speed, it is
imperative that we aggressively investigate fairness and bias in decision-making programs …

Software configuration, which aims to customize the software for different users (eg, Linux
kernel configuration), is an important and complicated task. In software product line …

Software that support various groups of customers usually require complicated
configurations to attain different functionalities. To model the configuration options, feature …

Recently, many large enterprises (eg, Netflix, Amazon) have decomposed their monolithic
application into services, and composed them to fulfill their business functionalities. Many …

Web service composition is an emerging technique to develop Web applications by
composing existing Web services. Web service composition is subject to two important …

With the range and sensitivity of algorithmic decisions expanding at a break-neck speed, it is
imperative that we aggressively investigate whether programs are biased. We propose a …

Abstract Service composition aims at achieving a business goal by composing existing
service-based applications or components. The response time of a service is crucial …

Digitization is a technique that has been widely used in real-time model checking. With the
assumption of digital clocks, symbolic model checking techniques (like those based on …

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 …

Service Oriented Architecture (SOA) has been an important software design architecture that
aims to enhance the efficiency, agility and productivity of an enterprise. This allows …