Sciweavers

766 search results - page 103 / 154
» Synthesis of Synchronous Interfaces
Sort
View
ICQNM
2008
IEEE
178views Chemistry» more  ICQNM 2008»
16 years 1 months ago
A Quantum Network Manager that Supports a One-Time Pad Stream
We have begun to expand the NIST quantum key distribution (QKD) system into a quantum network to support secure cryptography. We are starting with a simple three-node network, one...
Alan Mink, Lijun Ma, Tassos Nakassis, Hai Xu, Oliv...
IPPS
2007
IEEE
16 years 26 days ago
Using Coroutines for RPC in Sensor Networks
This paper proposes a concurrency model which integrates the asynchronous and event-driven nature of wireless etworks with higher-level abstractions that provide a more familiar p...
Marcelo Cohen, Thiago Ponte, Silvana Rossetto, Noe...
ROMAN
2007
IEEE
104views Robotics» more  ROMAN 2007»
16 years 25 days ago
A study of interaction between dialog and decision for human-robot collaborative task achievement
Abstract— Human-robot collaboration requires both communicative and decision making skills of a robot. To enable flexible coordination and turn-taking between human users and a ...
Aurélie Clodic, Rachid Alami, Vincent Montr...
ISSAC
2007
Springer
162views Mathematics» more  ISSAC 2007»
16 years 21 days ago
Multiprocessed parallelism support in ALDOR on SMPs and multicores
We report on a high-level categorical parallel framework, written in the Aldor language, to support high-performance computer algebra on symmetric multi-processors and multicore p...
Marc Moreno Maza, Ben Stephenson, Stephen M. Watt,...
VL
2005
IEEE
142views Visual Languages» more  VL 2005»
16 years 4 days ago
JOpera: An Agile Environment for Web Service Composition with Visual Unit Testing and Refactoring
Agile methodologies employ light-weight development practices emphasizing a test-driven approach to the development of software systems. Modern agile development environments supp...
Cesare Pautasso