Sciweavers

1839 search results - page 87 / 368
» Models of Coordination
Sort
View
SAC
2010
ACM
13 years 10 months ago
Data-aware design and verification of service compositions with Reo and mCRL2
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enabl...
Natallia Kokash, Christian Krause, Erik P. de Vink
COORDINATION
2006
Springer
14 years 1 months ago
Stochastic Reasoning About Channel-Based Component Connectors
Abstract. Constraint automata have been used as an operational model for component connectors that coordinate the cooperation and communication of the components by means of a netw...
Christel Baier, Verena Wolf
PROMAS
2005
Springer
14 years 3 months ago
A Model-Based Executive for Commanding Robot Teams
The paper presents a way to robustly command a system of systems as a single entity. Instead of modeling each component system in isolation and then manually crafting interaction p...
Anthony Barrett
VL
2005
IEEE
103views Visual Languages» more  VL 2005»
14 years 3 months ago
EAVis: A Visualization Tool for Evolutionary Algorithms
Evolutionary algorithms (EAs) produce a vast amount of data by recurring processes, e.g., selection, recombination, or mutation, that work on populations of solutions for a speciï...
Andreas Kerren, Thomas Egger
HICSS
2008
IEEE
89views Biometrics» more  HICSS 2008»
14 years 4 months ago
Reference Models and Modeling Languages for Product-Service Systems - Status-Quo and Perspectives for Further Research
Being confronted with decreasing margins and a rising customer demand for integrated solutions, manufacturing companies integrate complementary services into their portfolio. Offe...
Jörg Becker, Daniel Beverungen, Ralf Knackste...