2662 search results - page 522 / 533 » Medical Information System With Iconic User Interfaces |
ISW
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protoco...
SIGMOD
2010
ACM
15 years 2 months ago
2010
ACM
As the study of graphs, such as web and social graphs, becomes increasingly popular, the requirements of efficiency and programming flexibility of large graph processing tasks c...
WSC
1998
14 years 11 months ago
1998
Simulation optimization is rapidly becoming a mainstream tool for simulation practitioners. Simulation optimization is the practice of linking an optimization method with a simula...
MMS
2008
14 years 9 months ago
2008
Nowadays, users not only want to watch digital videos on a PC but also use mobile devices to play back multimedia content. Video adaptation algorithms enable the visualization of ...
105
click to vote
CHI
2003
ACM
15 years 10 months ago
2003
ACM
We describe two games in which online participants collaborated with mobile participants on the city streets. In the first, the players were online and professional performers wer...