4201 search results - page 103 / 841 » Our Users have Root! |
IAT
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper describes our efforts to factor in a user’s browsing behavior to automatically evaluate web pages that the user shows interest in, based on user browsing behaviors wh...
ACISICIS
2010
IEEE
13 years 9 months ago
2010
IEEE
We developed new interactive display system called the palm display. Our prototype system shows the image of graphical user interface on the palm and allows the user to have intera...
SIGGRAPH
2009
ACM
14 years 2 months ago
2009
ACM
Over the past few decades, the arts have become increasingly dependent on and influenced by the development of computer technology. In the 1960s pioneering artists experimented w...
CCS
2009
ACM
14 years 3 months ago
2009
ACM
Botnets, networks of malware-infected machines that are controlled by an adversary, are the root cause of a large number of security problems on the Internet. A particularly sophi...
GLVLSI
2009
IEEE
14 years 3 months ago
2009
IEEE
In the context of formal verification Bounded Model Checking (BMC) has shown to be very powerful for large industrial designs. BMC is used to check whether a circuit satisfies a...