Sciweavers

5480 search results - page 436 / 1096
» Communicating with Synchronized Environments
Sort
View
ROMAN
2007
IEEE
104views Robotics» more  ROMAN 2007»
16 years 1 months 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...
COORDINATION
2007
Springer
16 years 1 months ago
A Calculus for Mobile Ad Hoc Networks
We suggest a Calculus for Mobile Ad Hoc Networks, CMAN. A node in a network is a processes equipped with a location, it may communicate with other nodes using synchronous local bro...
Jens Chr. Godskesen
ESOP
2007
Springer
16 years 1 months ago
A Calculus for Orchestration of Web Services
We introduce COWS (Calculus for Orchestration of Web Services), a new foundational language for SOC whose design has been influenced by WS-BPEL, the de facto standard language for...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
EUC
2007
Springer
16 years 1 months ago
Low-Cost and Strong-Security RFID Authentication Protocol
This paper proposes a low-cost and strong-security RFID protocol to reduce the computational load on both the back-end database and the tags in an RFID system. When desynchronizati...
JaeCheol Ha, Sang-Jae Moon, Juan Manuel Gonz&aacut...
ISSAC
2007
Springer
162views Mathematics» more  ISSAC 2007»
16 years 1 months 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,...