Sciweavers

2870 search results - page 316 / 574
» Synchronization of multi-agent systems
Sort
View
EMSOFT
2007
Springer
15 years 10 months ago
The algebra of connectors: structuring interaction in BIP
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
Simon Bliudze, Joseph Sifakis
CSCWD
2005
Springer
15 years 10 months ago
A Web services based platform for exchange of procedural CAD models
Exchange of procedural CAD models between heterogeneous CAD systems is still a challenging issue in CAD area. Previously we proposed an approach for effectively constructing synch...
Xiang Chen, Min Li, Shuming Gao
DATE
2000
IEEE
110views Hardware» more  DATE 2000»
15 years 9 months ago
Stochastic Modeling and Performance Evaluation for Digital Clock and Data Recovery Circuits
Clock and data recovery circuits are essential components in communication systems. They directly influence the bit-error-rate performance of communication links. It is desirable...
Alper Demir, Peter Feldmann
HRI
2007
ACM
15 years 8 months ago
A dancing robot for rhythmic social interaction
This paper describes a robotic system that uses dance as a form of social interaction to explore the properties and importance of rhythmic movement in general social interaction. ...
Marek P. Michalowski, Selma Sabanovic, Hideki Kozi...
ACSD
2005
IEEE
162views Hardware» more  ACSD 2005»
15 years 10 months ago
Complexity Results for Checking Distributed Implementability
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...
Keijo Heljanko, Alin Stefanescu