13553 search results - page 332 / 2711 » A Generalized Multi-View Approach |
153
Voted
ASPLOS
2006
ACM
16 years 20 days ago
2006
ACM
Unbeknownst to many computer users, their machines are running malware. Others are aware that strange software inhabits their machine, but cannot get rid of it. In this paper, we ...
152
click to vote
ERLANG
2006
ACM
16 years 20 days ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
188
click to vote
IWCMC
2006
ACM
16 years 20 days ago
2006
ACM
In an era of cooperating ad hoc networks and pervasive wireless connectivity, we are becoming more vulnerable to malicious attacks. Many of these attacks are silent in nature and ...
152
click to vote
SIGCSE
2006
ACM
16 years 20 days ago
2006
ACM
This paper describes an initiative at North Carolina State University in which the undergraduate software engineering class was restructured in layout and in presentation. The cha...
166
click to vote
VRST
2006
ACM
16 years 20 days ago
2006
ACM
Virtual environments (VEs) very often contain buildings that have to be navigated by users. In the literature, several navigation aids based on maps have been proposed for VEs, bu...