Controller synthesis of service contracts with variability
نویسندگان
چکیده
منابع مشابه
single-step synthesis of multi-component spirobarbiturates using ionic liquids and synthesis of substituted pyridine filled with catalysts supported on solid substrate
in this thesis, a better reaction conditions for the synthesis of spirobarbiturates catalyzed by task-specific ionic liquid (2-hydroxy-n-(2-hydroxyethyl)-n,n-dimethylethanaminium formate), calcium hypochlorite ca(ocl)2 or n-bromosuccinimide (nbs) in the presence of water at room temperature by ultrasonic technique is provided. the design and synthesis of spirocycles is a challenging task becaus...
15 صفحه اولCompetition for Procurement Contracts with Service Guarantees
We consider a market with two suppliers and a set of buyers in search of procurement contracts with one of the suppliers. In particular, each buyer needs to process a certain volume of work, and each supplier’s ability to process the customers’ requests is constrained by a production capacity. The procurement contracts include guarantees that the products will be available when needed, and the ...
متن کاملQuerying service contracts
Considering a broad definition for service contracts (beyond web services and software, e.g. airlinetickets and insurance policies), we tackle the challenges of building a high performance broker inwhich contracts are both specified and queried through their temporal behavior. The temporaldimension, in conjunction with traditional relational attributes, enables our system to better ...
متن کاملConstraints for Service Contracts
This paper focuses on client-service interactions distinguishing between three phases: negotiate, commit and execute. The participants negotiate their behaviours, and if an agreement is reached they commit and start an execution which is guaranteed to respect the interaction scheme agreed upon. These ideas are materialised through a calculus of contracts enriched with semiringbased constraints,...
متن کاملController Synthesis with Budget Constraints
We study the controller synthesis problem under budget constraints. In this problem, there is a cost associated with making an observation, and a controller can make only a limited number of observations in each round so that the total cost of the observations does not exceed a given fixed budget. The controller must ensure some ω-regular requirement subject to the budget constraint. Budget con...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2020
ISSN: 0167-6423
DOI: 10.1016/j.scico.2019.102344