Sciweavers

516 search results - page 7 / 104
» Value-Oriented Coordination Process Modeling
Sort
View
DAC
2000
ACM
14 years 10 months ago
Synthesis and optimization of coordination controllers for distributed embedded systems
A main advantage of control composition with modal processes [4] is the enhanced retargetability of the composed behavior over a wide variety of target architectures. Unlike previ...
Pai H. Chou, Gaetano Borriello
JLP
2007
89views more  JLP 2007»
13 years 9 months ago
Preferential choice and coordination conditions
We present a process algebra with conditional expressions of which the conditions concern the enabledness of actions in the context in which a process is placed. With those conditi...
Jan A. Bergstra, C. A. Middelburg
ICASSP
2011
IEEE
13 years 1 months ago
Modeling anatomical heterogeneity in populations
Our goal is to model anatomical variability across individuals, which presents substantial challenges in clinical population studies and in building atlases for segmentation. Base...
Polina Golland, Mert R. Sabuncu
COORDINATION
2008
Springer
13 years 11 months ago
Formal Analysis of BPMN Via a Translation into COWS
A translation of the Business Process Modeling Notation into the process calculus COWS is presented. The stochastic extension of COWS is then exploited to address quantitative reas...
Davide Prandi, Paola Quaglia, Nicola Zannone
PACT
1997
Springer
14 years 1 months ago
Control-Driven Coordination Programming in Shared Dataspace
This paper argues for an alternative way of designing coordination models for parallel and distributed environments based on a complete symmetry between and decoupling of producers...
George A. Papadopoulos, Farhad Arbab