1573 search results - page 222 / 315 » Strong User Authentication |
CAV
2009
Springer
16 years 2 months ago
2009
Springer
We present VS3 , a tool that automatically verifies complex properties of programs and infers maximally weak preconditions and maximally strong postconditions by leveraging the pow...
CHI
2002
ACM
16 years 2 months ago
2002
ACM
We introduce the Hocman prototype, supporting mobile group collaboration among motorcyclists. The design is based on findings from a field study. The motorcyclists are a group wit...
116
click to vote
GLOBECOM
2009
IEEE
15 years 8 months ago
2009
IEEE
— The dynamic composition of systems of networked appliances, or virtual devices, enables users to generate complex strong specific systems. Current prominent MANET-based composi...
135
click to vote
ICC
2009
IEEE
15 years 8 months ago
2009
IEEE
— The dynamic composition of systems of networked appliances, or virtual devices, in MANETs, enables users to generate, on-the-fly, complex strong specific systems. Current work ...
149
click to vote
ALPIT
2008
IEEE
15 years 8 months ago
2008
IEEE
The existing studies of a dialogue system can be classified into two major parts. One is a study for a practical system, and the other is a study to understand a principal of dial...