12519 search results - page 2267 / 2504 » Approximation Problems Categories |
211
click to vote
CCS
2009
ACM
16 years 6 months ago
2009
ACM
Botnets are networks of compromised computers infected with malicious code that can be controlled remotely under a common command and control (C&C) channel. Recognized as one ...
170
click to vote
CCS
2009
ACM
16 years 6 months ago
2009
ACM
This paper introduces a method to control JavaScript execution. The aim is to prevent or modify inappropriate behaviour caused by e.g. malicious injected scripts or poorly designe...
206
click to vote
CICLING
2009
Springer
16 years 6 months ago
2009
Springer
Recent work on the transfer of semantic information across languages has been recently applied to the development of resources annotated with Frame information for different non-En...
161
click to vote
PPOPP
2009
ACM
16 years 6 months ago
2009
ACM
Understanding why the performance of a multithreaded program does not improve linearly with the number of cores in a sharedmemory node populated with one or more multicore process...
201
click to vote
PPOPP
2009
ACM
16 years 6 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...