Sciweavers

1317 search results - page 146 / 264
» A New Design for a Practical Secure Cookies System
Sort
View
ROBOCUP
1998
Springer
128views Robotics» more  ROBOCUP 1998»
15 years 9 months ago
A Multi-Level Constraint-Based Controller for the Dynamo98 Robot Soccer Team
Abstract. Constraint Nets provide a semantic model for modeling hybrid dynamic systems. Controllers are embedded constraint solvers that solve constraints in real-time. A controlle...
Yu Zhang, Alan K. Mackworth
ICCAD
1996
IEEE
92views Hardware» more  ICCAD 1996»
15 years 10 months ago
Generation of BDDs from hardware algorithm descriptions
We propose a new method for generating BDDs from hardware algorithm descriptions written in a programming language. Our system can deal with control structures, such as conditiona...
Shin-ichi Minato
ISW
2009
Springer
16 years 18 days ago
Nonce Generators and the Nonce Reset Problem
A nonce is a cryptographic input value which must never repeat within a given context. Nonces are important for the security of many cryptographic building blocks, such as stream c...
Erik Zenner
HICSS
2008
IEEE
130views Biometrics» more  HICSS 2008»
16 years 15 days ago
An Interview Protocol for Discovering and Assessing Collaboration Engineering Opportunities
Collaboration Engineering (CE) projects can run for months and can require substantial expenditures of effort and resources. CE is an approach to designing collaborative work prac...
Robert O. Briggs, Alanah J. Davis, John D. Murphy
HAPTICS
2006
IEEE
16 years 3 days ago
Haptic-Based Biometrics: A Feasibility Study
Biometric systems identify users based on behavioral or physiological characteristics. The advantages of such systems over traditional authentication methods such as passwords are...
Mauricio Orozco Trujillo, Yednek Asfaw, Shervin Sh...