Sciweavers

515 search results - page 19 / 103
» Component Coordination in GLoo
Sort
View
IPPS
2000
IEEE
14 years 1 months ago
Real-Time Coordination in Distributed Multimedia Systems
The coordination paradigm has been used extensively as a mechanism for software composition and integration. However, little work has been done for the cases where the software com...
Theophilos A. Limniotes, George A. Papadopoulos
ICMAS
1998
13 years 10 months ago
Agents in Electronic Commerce: Component Technologies for Automated Negotiation and Coalition Formation
Automated negotiation and coalition formation among self-interested agents are playing an increasingly important role in electronic commerce. Such agents cannot be coordinated by ...
Tuomas Sandholm
ENTCS
2007
109views more  ENTCS 2007»
13 years 8 months ago
Symbolic Model Checking for Channel-based Component Connectors
The paper reports on the foundations and experimental results with a model checker for component connectors modelled by networks of channels in the calculus Reo. The specificatio...
Sascha Klüppelholz, Christel Baier
CONCUR
2008
Springer
13 years 10 months ago
A Notion of Glue Expressiveness for Component-Based Systems
Abstract. Comparison between different formalisms and models is often by flattening structure and reducing them to behaviorally equivalent models e.g., automaton and Turing machine...
Simon Bliudze, Joseph Sifakis
TROB
2002
116views more  TROB 2002»
13 years 8 months ago
Visual servoing via navigation functions
Abstract-- This paper presents a framework for visual servoing that guarantees convergence to a visible goal from almost every initially visible configuration while maintaining ful...
Noah J. Cowan, Joel Weingarten, Daniel E. Koditsch...