5390 search results - page 282 / 1078 » Support cluster machine |
192
click to vote
ICAC
2006
IEEE
16 years 22 days ago
2006
IEEE
— As Internet worms become ever faster and more sophisticated, it is important to be able to extract worm signatures in an accurate and timely manner. In this paper, we apply mac...
190
click to vote
JVM
2004
15 years 8 months ago
2004
Virtual machines can greatly simplify wide-area discomputing by lowering the level of abstraction to the benefit of both resource providers and users. Networking, however, can be ...
198
click to vote
JAR
2006
15 years 6 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
164
click to vote
MODELS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Separation of Concerns (SoC) is an important issue to reduce the complexity of software. Recent advances in programming language research show that Aspect-Oriented Progra...
172
click to vote
SP
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—In network intrusion detection research, one popular strategy for finding attacks is monitoring a network’s activity for anomalies: deviations from profiles of norma...