Sciweavers

54 search results - page 8 / 11
» Safe Exchange Planner
Sort
View
DATE
2003
IEEE
186views Hardware» more  DATE 2003»
14 years 25 days ago
Formal Methods for Integration of Automotive Software
Novel functionality, configurability and higher efficiency in automotive systems require sophisticated embedded software, as well as distributed software development between man...
Marek Jersak, Kai Richter, Rolf Ernst, Jörn-C...
CDC
2009
IEEE
127views Control Systems» more  CDC 2009»
13 years 11 months ago
Model driven design in industrial automation
—Current industrial applications demand the design of more and more complex, safe and trustworthy control systems which exhibit a high degree of flexibility and reutilization. To...
Elisabet Estevez, Isabel Sarachaga, Federico Perez...
NDSS
1998
IEEE
13 years 11 months ago
The Secure Remote Password Protocol
This paper presents a new password authentication and key-exchange protocol suitable for authenticating users and exchanging keys over an untrusted network. The new protocol resis...
Thomas D. Wu
ICRA
2010
IEEE
115views Robotics» more  ICRA 2010»
13 years 6 months ago
An optimization approach to rough terrain locomotion
— We present a novel approach to legged locomotion over rough terrain that is thoroughly rooted in optimization. This approach relies on a hierarchy of fast, anytime algorithms t...
Matthew Zucker, James A. Bagnell, Christopher G. A...
IJRR
2011
126views more  IJRR 2011»
13 years 2 months ago
Optimization and learning for rough terrain legged locomotion
We present a novel approach to legged locomotion over rough terrain that is thoroughly rooted in optimization. This approach relies on a hierarchy of fast, anytime algorithms to p...
Matthew Zucker, Nathan D. Ratliff, Martin Stolle, ...