267 search results - page 28 / 54 » his 2008 |
SCN
2008
Springer
13 years 9 months ago
2008
Springer
Smart card-based authentication is one of the most widely used and practical solutions to remote user authentication. Compared to other authentication schemes, our proposed scheme...
TAP
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...
RAS
2008
13 years 9 months ago
2008
A human performs a variety of skillful movements by adjusting dynamic characteristics of his or her musculoskeletal system according to a task involved. Such characteristics of hu...
SAC
2008
ACM
13 years 9 months ago
2008
ACM
In a hypothesis-based approach to digital investigation, the investigator formulates his hypothesis about which events took place, and tests them using the evidence available. A f...
SIGMOD
2008
ACM
13 years 9 months ago
2008
ACM
On January 28th , 2007, Jim Gray sailed his 40 foot sailboat, Tenacious, on a day cruise to the Farallon Islands off San Francisco and was reported overdue when he didn't ret...