Sciweavers

36 search results - page 1 / 8
» Coordination of Active Objects by Means of Explicit Connecto...
Sort
View
DEXAW
1998
IEEE
76views Database» more  DEXAW 1998»
13 years 9 months ago
Coordination of Active Objects by Means of Explicit Connectors
Stéphane Ducasse, Manuel Günter
COORDINATION
2007
Springer
13 years 11 months ago
Component Connectors with QoS Guarantees
Connectors have emerged as a powerful concept for composition and coordination of concurrent activities encapsulated as components and services. Compositional coordination models a...
Farhad Arbab, Tom Chothia, Sun Meng, Young-Joo Moo...
ICFEM
2010
Springer
13 years 3 months ago
A Semantic Model for Service Composition with Coordination Time Delays
The correct behavior of a service composition depends on the appropriate coordination of its services. According to the idea of channelbased coordination, services exchange message...
Natallia Kokash, Behnaz Changizi, Farhad Arbab
FMCO
2007
Springer
118views Formal Methods» more  FMCO 2007»
13 years 11 months ago
Coordination: Reo, Nets, and Logic
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
Dave Clarke
ICRA
2007
IEEE
168views Robotics» more  ICRA 2007»
13 years 11 months ago
A New Approach for Active Stereo Camera Calibration
— By active stereo we mean a stereo vision system that allows for independent panning and tilting for each of the two cameras. One advantage of active stereo in relation to regul...
Hyukseong Kwon, Johnny Park, Avinash C. Kak