1681 search results - page 113 / 337 » Formal Design of Distributed Control Systems with Lustre |
SPATIALCOGNITION
2004
Springer
14 years 4 months ago
2004
Springer
Establishing a clean relationship between a robot’s spatial model and natural language components is a non-trivial task, but is key to designing verbally controlled, navigating s...
ICFP
2006
ACM
14 years 10 months ago
2006
ACM
The Dependency Core Calculus (DCC) is an extension of the computational lambda calculus that was designed in order to capture the notion of dependency that arises in information-f...
ECR
2010
13 years 11 months ago
2010
Next generation Web 2.0 communities and distributed P2P systems rely on the cooperation of diverse user populations spread across numerous administrative and security domains. Zero...
ISCC
2005
IEEE
14 years 4 months ago
2005
IEEE
We report an innovative solely optical architecture to implement the centralized wavelength conversion module of the CWC (Controlled Wavelength Conversion) protocol [1]. The propo...
CDC
2009
IEEE
14 years 3 months ago
2009
IEEE
— We consider a decentralized bidirectional control of a platoon of N identical vehicles moving in a straight line. Such problems are known to suffer from poor stability margin a...