Sciweavers

1839 search results - page 87 / 368
» Models of Coordination
Sort
View
SAC
2010
ACM
15 years 6 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
15 years 10 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
15 years 12 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»
15 years 12 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»
16 years 25 days 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...