8655 search results - page 1061 / 1731 » Challenges for Trusted Computing |
235
click to vote
PDP
2009
IEEE
16 years 2 months ago
2009
IEEE
- Peer-to-peer (p2p) networking technology has gained popularity as an efficient mechanism for users to obtain free services without the need for centralized servers. Protecting th...
199
click to vote
CHI
2009
ACM
16 years 2 months ago
2009
ACM
PhotoScope visualizes the spatiotemporal coverage of photos in a photo collection. It extends the standard photo browsing paradigm in two main ways: visualizing spatial coverage o...
179
click to vote
DAC
2009
ACM
16 years 2 months ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...
208
click to vote
HRI
2009
ACM
16 years 2 months ago
2009
ACM
It has long been recognized that novelty effects exist in the interaction with technologies. Despite this recognition, we still know little about the novelty effects associated wi...
205
click to vote
SAC
2009
ACM
16 years 2 months ago
2009
ACM
Regime switching models, in which the state of the world is locally stationary, are a useful abstraction for many continuous valued data streams. In this paper we develop an onlin...