4946 search results - page 812 / 990 » Interacting with Large Displays |
204
click to vote
LICS
2007
IEEE
16 years 26 days ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
165
click to vote
P2P
2007
IEEE
16 years 26 days ago
2007
IEEE
We develop a model of the interaction of rational peers in an incentive-free Peer-to-Peer (P2P) network and use game theoretic analysis to derive results about peer and network be...
143
click to vote
ROMAN
2007
IEEE
16 years 26 days ago
2007
IEEE
— Autism covers a large spectrum of disorders that affect the individual’s way of interacting socially and is often revealed by the individual’s lack of interest in gazing at...
183
click to vote
BIBE
2007
IEEE
16 years 25 days ago
2007
IEEE
—High-throughput data such as microarrays make it possible to investigate the molecular-level mechanism of cancer more efficiently. Computational methods boost the microarray ana...
162
click to vote
COREGRID
2007
Springer
16 years 23 days ago
2007
Springer
We address the problem of routing packets on multiple, router-disjoint, paths in the Internet using large-scale overlay networks. Multipath routing can improve Internet QoS, by rou...