Sciweavers

8810 search results - page 244 / 1762
» Open. Closed. Open
Sort
View
ISRR
2001
Springer
105views Robotics» more  ISRR 2001»
15 years 11 months ago
ETL-Humanoid: A Research Vehicle for Open-Ended Action Imitation
Yasuo Kuniyoshi, Gordon Cheng, Akihiko Nagakubo
172
Voted
MMMACNS
2001
Springer
15 years 11 months ago
Open Issues in Formal Methods for Cryptographic Protocol Analysis
The history of the application of formal methods to cryptographic protocol analysis spans nearly twenty years, and recently has been showing signs of new maturity and consolidatio...
Catherine Meadows
142
Voted
PROMS
2001
Springer
111views Multimedia» more  PROMS 2001»
15 years 11 months ago
Validation of the Open Service Access API for UMTS Application Provisioning
Maarten Wegdam, Dirk-Jaap Plas, Musa R. Unmehopa