Sciweavers

2746 search results - page 237 / 550
» Behavioral Simulations in MapReduce
Sort
View
FSEN
2007
Springer
16 years 13 days ago
Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata
Abstract. A communication protocol consists of a sequence of messages used by peer entities to communicate. Each entity in a network is equipped by at least one protocol stack. Due...
Mahdi Niamanesh, Rasool Jalili
ICCS
2007
Springer
16 years 13 days ago
Equivalent Semantic Translation from Parallel DEVS Models to Time Automata
Dynamic reconfigurable simulation based on Discrete Event System Specification (DEVS) requires efficient verification of simulation models. Traditional verification method of DEVS ...
Shoupeng Han, Kedi Huang
ICRA
2006
IEEE
190views Robotics» more  ICRA 2006»
16 years 9 days ago
Model and Control of Tendon-sheath Transmission Systems
— In this paper, the tendon-sheath driving system for a robotic hand is presented and its force transmission characteristics are analyzed. The use of tendon-based transmission pe...
Gianluca Palli, Claudio Melchiorri
ICRA
2006
IEEE
166views Robotics» more  ICRA 2006»
16 years 9 days ago
Analysis, Design and Control of a Planar Micro-robot Driven by two Centripetal-force Actuators
– This paper presents the motion analysis, design and position control of a novel, low cost, sliding micro-robot, which is actuated by centripetal forces generated by robot mount...
P. Vartholomeos, Evangelos Papadopoulos
ACRI
2006
Springer
16 years 8 days ago
Social Distances Model of Pedestrian Dynamics
Abstract. The knowledge of phenomena connected with pedestrian dynamics is desired in the process of developing public facilities. Nowadays, there is a necessity of creating variou...
Jaroslaw Was, Bartlomiej Gudowski, Pawel J. Matusz...