Filters








1,455,785 Hits in 4.2 sec

Contracts in distributed systems

Massimo Bartoletti, Emilio Tuosto, Roberto Zunino
2011 Electronic Proceedings in Theoretical Computer Science  
We present a parametric calculus for contract-based computing in distributed systems.  ...  We present two instances of our calculus, by modelling contracts as (i) processes in a variant of CCS, and (ii) as formulae in a logic.  ...  The overall contribution of the paper is a calculus for computing with contracts in distributed systems. The calculus is designed around two main principles.  ... 
doi:10.4204/eptcs.59.11 fatcat:rsag4emr4bcmlhythycgfvvz2a

Distributed System Contract Monitoring

Adrian Francalanza, Andrew Gauci, Gordon Pace
2011 Electronic Proceedings in Theoretical Computer Science  
The use of behavioural contracts, to specify, regulate and verify systems, is particularly relevant to runtime monitoring of distributed systems.  ...  We also illustrate the expressivity of the calculus by showing how contracts in a simple contract language can be synthesised into different mDPi monitors.  ...  More and more systems are deployed in a distributed fashion, whether out of our choice or necessity.  ... 
doi:10.4204/eptcs.68.4 fatcat:hcozaxj3src2tay2ivv463kxxe

Problems of qualifications and identifications of distribution contract construction in the contract system of Republic of Moldova

Sergei Zahariya, Igor Arseni
2018 Zenodo  
In the system of civil law contracts, the form of the distribution contract differs from the standard forms of contracts and appropriately holds an independent position in the legal framework.  ...  The authors substantiate the necessity of the legal regulation of the distribution agreement in the Civil Code of the Republic of Moldova.  ...  In the system of civil law contracts, the form of the distribution contract differs from the standard forms of contracts and appropriately holds an independent position in the legal framework.  ... 
doi:10.5281/zenodo.3369949 fatcat:lezj2pzamrgklh3uib56qhgxyu

Mitigating Provider Uncertainty in Service Provision Contracts [chapter]

Chris Smith, Aad van Moorsel
2009 Economic Models and Algorithms for Distributed Systems  
Uncertainty is an inherent property of open, distributed and multi-party systems.  ...  Service provision in Grid systems is one such relationship.  ...  Grid systems are pertinent examples of open, distributed and multi-party systems, uniting disparate resources from varied autonomous domains in a single large-scale system.  ... 
doi:10.1007/978-3-7643-8899-7_9 fatcat:2hpsn4fg2ncwvjobfbihwfevkm

A Scatter Search Heuristic for the Optimal Location, Sizing and Contract Pricing of Distributed Generation in Electric Distribution Systems

Andrés Pérez Posada, Juan Villegas, Jesús López-Lezama
2017 Energies  
In this paper we present a scatter search (SS) heuristic for the optimal location, sizing and contract pricing of distributed generation (DG) in electric distribution systems.  ...  In [3, 4] , the authors present analytical methods for the optimal location of DG in distribution systems aiming to reduce power losses.  ...  Conclusions This paper tackles the optimal location, sizing, and contract pricing of DG in electric distribution systems.  ... 
doi:10.3390/en10101449 fatcat:2ndzmdct3fbilmtdnvraixdodq

How cooperative advertising interacts with distributional contracts in a dual-channel system

Jingyan Li, Xiang Ji, Zhixin Chen, Jie Wu
2022 Reserche operationelle  
In some situations, the manufacturer is willing to share the advertising cost, while in others it is not.  ...  contract choice.  ...  In Section 5, we derives the platform's optimal distribution contract.  ... 
doi:10.1051/ro/2022081 fatcat:3etcgb7ujjfqza7vihopstd7wi

Collaborative Solution for Contract Problem in Book Distribution Systems Based on Distribution Free Approach
書籍流通システムにおける契約問題のDistribution Free Approachに基づく解法

Ikuo ARIZONO, Yasuhiko TAKEMOTO, Yuichi TSUJIWAKI
2013 Journal of Japan Industrial Management Association  
doi:10.11221/jima.64.63 fatcat:fj6hbyhow5csfisdjxmug5npxu

The Role of Inspirational Leadership and Technology Support for Contextualization on Psychological Contract in Distributed Teams

Xiqing Sha
2010 Americas Conference on Information Systems  
Our findings suggest that psychological contract obligations can motivate employees to engage in knowledge sharing. This provides interesting implications for theory and practice in distributed teams.  ...  This study investigates how inspirational leadership and technology support for contextualization influence individuals' psychological contract and knowledge sharing in distributed teams.  ...  Several studies have been done to understand the role of psychological contracts in distributed teams.  ... 
dblp:conf/amcis/Sha10 fatcat:pl3fwc7levemzmg4wgtx3iaqna

A bi-level approach for optimal contract pricing of independent dispatchable DG units in distribution networks

Ashkan Sadeghi Mobarakeh, Abbas Rajabi-Ghahnavieh, Hossein Haghighat
2016 International Transactions on Electrical Energy Systems  
Distributed Generation (DG) units are increasingly installed in the power systems.  ...  The proposed framework was applied to the Modified IEEE 34-Bus Distribution Test System.  ...  In this paper, a framework is proposed for optimal contract pricing of competing dispatchable DG units in the distribution system.  ... 
doi:10.1002/etep.2172 fatcat:zveedhfsejc2fdavaqhhxovq6m

Contract-based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems

Adnane Saoud, Antoine Girard, Laurent Fribourg
2020 IEEE Transactions on Automatic Control  
More precisely, we consider systems made of components where each component is equipped with a sampled-data controller with its own sampling period, resulting globally in a distributed multiperiodic sampled-data  ...  This paper presents a symbolic control approach to the design of distributed safety controllers for a class of continuous-time nonlinear systems.  ...  In this paper, we consider that the components are equipped with sampled-data controllers with possibly different sampling periods, resulting globally in a distributed multiperiodic sampled-data system  ... 
doi:10.1109/tac.2020.2992446 fatcat:wuoax3e3dre6bpge7ftwdgsnau

Optimal contract pricing of load aggregators for direct load control in smart distribution systems

Ali SHAYEGAN-RAD, Ali ZANGENEH
2019 Turkish Journal of Electrical Engineering and Computer Sciences  
In this paper a bilevel scheduling model is proposed to determine the long-term optimal contract price between the DSO and aggregator for executing direct load control in smart distribution systems.  ...  Distribution system operators (DSOs) are interested in demand side participation programs as an efficient and secure resource to manage electricity supply and demand.  ...  Conclusion This paper proposed a bilevel scheduling model to determine the optimal contract price of aggregating and bidding a DLC program to the DSO in a smart distribution system.  ... 
doi:10.3906/elk-1804-150 fatcat:pi6jv73hwvgzpahi7qtrrg3pfy

Pricing and Profit Distribution in Supply Chain Through Option Contracts

Yifeng Liu, Heling Mao, Qingjun Zhang
2023 International Journal of Information Systems and Supply Chain Management (IJISSCM)  
the other side in supply chain.  ...  The distribution of the increasing profit will be influenced by many internal factors.  ...  the total value of the system.  ... 
doi:10.4018/ijisscm.328769 fatcat:orwzpi7myfc5ha7eeeroj2qwgq

Optimizing Allocation of Battery Energy Storage System Capacity in Coordination with Contract Price in Distribution Network

Yi-cong LIU, Zong-qi LIU
2017 DEStech Transactions on Environment Energy and Earth Science  
An improved IEEE-33 nodes system is studied. Cases analysis shows that the method proposed in this paper allows both DISCO and BESS operators to be profitable.  ...  This paper presents a double-layer synergistic optimization method for battery energy storage system (BESS) allocation considering contract price.  ...  Case Study System Parameters In this paper, an improved IEEE-33 nodes system is studied and distributed wind power is introduced, its location and capacity distribution is shown in Figure 2 .  ... 
doi:10.12783/dteees/icepe2017/11847 fatcat:a634mvtexfcb3jiyblc6qgqvpi

Royalty Contract in the Franchise System: From the Viewpoint of Double-sided Moral Hazard
フランチャイズ制におけるロイヤルティ契約 -二重のモラルハザード問題の観点から-

Tatsuhiko Nariu, Kaoru Ueda, Shunsuke Shimizu
2009 Journal of Marketing & Distribution  
doi:10.5844/jsmd.12.3_1 fatcat:wbkv7koydjhnvdhwjxf4vow4qu

Meta-data Management Issues Underpinning Emerging Solutions for Distributed Trust and Contract Management in Enterprise Grid and P2P Systems. Experiences from GRASP, SWAD-Europe, PELLUCID and CORAS projects

Theodosis Dimitrakos, Brian Matthews, Simon C. Lambert, Juan Bicarregui
2003 Metadata Management in Grid and P2P Systems  
Monitoring users' passage through workflow and communicating between Pellucid system and workflow management or tracking system.  ...  An organisational memory will allow for monitoring of the overall behaviour of the system and a learning capability for continuous improvement.  ...  . • Developed a tool-supported methodology for model-based risk analysis of securitycritical systems.  ... 
dblp:conf/mmgps/DimitrakosMLB03 fatcat:bhmhomcm3zexjflh22j5ipxrqy
« Previous Showing results 1 — 15 out of 1,455,785 results