Sciweavers

875 search results - page 145 / 175
» Specification Modules for Methodical System Development
Sort
View
ICRA
2000
IEEE
100views Robotics» more  ICRA 2000»
15 years 2 months ago
Robots Can Teach People How to Move Their Arm
We describe a new theoretical framework for robot-aided training of arm movements. This framework is based on recent studies of motor adaptation in human subjects and on general c...
Ferdinando A. Mussa-Ivaldi, James L. Patton
FTDCS
2004
IEEE
15 years 1 months ago
Towards Supporting Fine-Grained Access Control for Grid Resources
The heterogeneous nature and independent administration of geographically dispersed resources in Grid, demand the need for access control using fine-grained policies. In this pape...
Elisa Bertino, Pietro Mazzoleni, Bruno Crispo, Swa...
CBMS
2001
IEEE
15 years 1 months ago
Computer Assisted Retrieval of Biomedical Image Features from Spine X-Rays: Progress and Prospects
Image indexing for biomedical content is a prohibitively expensive task if done manually. This leads to the demand for effective automated or computer assisted indexing methods. W...
L. Rodney Long, George R. Thoma
FORTE
2008
14 years 11 months ago
Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning
Network-based fuzz testing has become an effective mechanism to ensure the security and reliability of communication protocol systems. However, fuzz testing is still conducted in a...
Guoqiang Shu, Yating Hsu, David Lee
FMICS
2010
Springer
14 years 10 months ago
Model Checking the FlexRay Physical Layer Protocol
Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...
Michael Gerke 0002, Rüdiger Ehlers, Bernd Fin...