Sciweavers

515 search results - page 11 / 103
» Component Coordination in GLoo
Sort
View
SCP
2010
172views more  SCP 2010»
13 years 7 months ago
Alternating-time stream logic for multi-agent systems
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
Sascha Klüppelholz, Christel Baier
EUROMICRO
2009
IEEE
14 years 3 months ago
Component-Based Construction of Concurrent Systems with Active Components
—We have defined a software component model which specifies components and composition operators. These operators coordinate and encapsulate concurrency between components. In ...
Kung-Kiu Lau, Ioannis Ntalamagkas
SAC
2004
ACM
14 years 2 months ago
Web Services: separation of concerns: computation coordination communication
The purpose of this paper is to investigate the use of a new concept in component communication, expressed by the channel based coordination language called ρέω, in the coordina...
Theophilos A. Limniotes, George A. Papadopoulos, F...
ETFA
2006
IEEE
14 years 2 months ago
A Component Framework for Wireless Sensor and Actor Networks
Wireless Sensor and Actor Networks (WSANs) constitute an emerging and pervasive technology that is attracting increased interest for a wide range of applications. WSANs have two m...
Manuel Díaz, Daniel Garrido, Luis Llopis, B...
COORDINATION
2006
Springer
14 years 9 days ago
Synthesizing Concurrency Control Components from Process Algebraic Specifications
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
Edoardo Bontà, Marco Bernardo, Jeff Magee, ...