Price Signaling and Channel Coordination

2019 ◽  
Author(s):  
Ruitong Wang ◽  
Yi Zhu ◽  
Akshay R. Rao
Keyword(s):  
Channel Coordination

scholarly journals A coordination model of pervasive service ecosystems

2015 ◽  
Vol 110 ◽  
pp. 3-22 ◽  
Author(s):  
Mirko Viroli ◽  
Danilo Pianini ◽  
Sara Montagna ◽  
Graeme Stevenson ◽  
Franco Zambonelli
Keyword(s):  
Coordination Model ◽  
Pervasive Service ◽  
Service Ecosystems

Evaluation of an interprofessional care coordination model: Benefits to health professions students and the community served

2020 ◽  
Author(s):  
Pamela L. Parsons ◽  
Patricia W. Slattum ◽  
Carla K. Thomas ◽  
Jennifer L. Cheng ◽  
Danah Alsane ◽  
...  
Keyword(s):  
Care Coordination ◽  
Health Professions ◽  
Coordination Model ◽  
Interprofessional Care

AUTOMATIC RESULT VERIFICATION BY COMPLETE RUN-TIME CHECKING OF COMPUTATIONS

2001 ◽  
Vol 12 (01) ◽  
pp. 97-124 ◽  
Author(s):  
EDGAR F. A. LEDERER ◽  
ROMEO A. DUMITRESCU
Keyword(s):  
Programming Language ◽  
Error Detection ◽  
Program Execution ◽  
Good Efficiency ◽  
Result Verification ◽  
Coordination Model ◽  
Functional Specification ◽  
Time Result ◽  
Run Time

Two-Stage Programming (2SP) is an experimental programming language, the first implementation of the Specification-Consistent Coordination Model (SCCM). The SCCM proposes a new, mixed-paradigm (functional/imperative) approach to developing reliable programs based on complete run-time checking of computations with respect to a given specification. A 2SP program consists of a functional specification and an imperative coordination tightly connected to the specification. The coordination maps the specification to an imperative and possibly parallel/distributed program. Normal termination of a 2SP program execution implies the correctness of the computed results with respect to the specification, for that execution. We present the basic feautures of the SCCM/2SP, a new message-spassing system of 2SP with integrated run-time checking, and a larger case study. We show that 2SP provides: functional specifications, specification-consistent imperative coordinations, automatic run-time result verification and error detection, enhanced debugging support, and good efficiency.

scholarly journals SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agent∗

2003 ◽  
Vol 68 (3) ◽  
pp. 310-327 ◽  
Author(s):  
Nadia Busi ◽  
Roberto Gorrieri ◽  
Roberto Lucchi and ◽  
Gianluigi Zavattaro
Keyword(s):  
Data Driven ◽  
Coordination Model
Sign in / Sign up

Export Citation Format

Share Document