Sciweavers

4343 search results - page 404 / 869
» Replication Techniques for Availability
Sort
View
ACSAC
2005
IEEE
16 years 15 days ago
Code Security Analysis of a Biometric Authentication System Using Automated Theorem Provers
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
Jan Jürjens
CEC
2005
IEEE
16 years 15 days ago
Evolving hidden Markov models for protein secondary structure prediction
New results are presented for the prediction of secondary structure information for protein sequences using Hidden Markov Models (HMMs) evolved using a Genetic Algorithm (GA). We a...
Kyoung-Jae Won, Thomas Hamelryck, Adam Prügel...
DATE
2005
IEEE
224views Hardware» more  DATE 2005»
16 years 15 days ago
Low-Cost Multi-Gigahertz Test Systems Using CMOS FPGAs and PECL
This paper describes two research projects that develop new low-cost techniques for testing devices with multiple high-speed (2 to 5 Gbps) signals. Each project uses commercially ...
David C. Keezer, C. Gray, A. M. Majid, N. Taher
ICMB
2005
IEEE
118views Business» more  ICMB 2005»
16 years 14 days ago
A Context-Sensitive Service Discovery Protocol for Mobile Computing Environments
Service discovery is important in mobile and pervasive computing environments, where the set of resources available to an entity changes dynamically over time. This paper describe...
Ricky Robinson, Jadwiga Indulska
ICRA
2005
IEEE
151views Robotics» more  ICRA 2005»
16 years 14 days ago
Multi-Step Look-Ahead Trajectory Planning in SLAM: Possibility and Necessity
Abstract— In this paper, the possibility and necessity of multistep trajectory planning in Extended Kalman Filter (EKF) based SLAM is investigated. The objective of the trajector...
Shoudong Huang, Ngai Ming Kwok, Gamini Dissanayake...