1133 search results - page 155 / 227 » Local Logics for Traces |
147
click to vote
EGC
2005
Springer
15 years 12 months ago
2005
Springer
World Wide Web is one of the most important applications on the Internet. Net surfers can browse the Web pages by tracing the links embedded in the hypertexts. However, one will be...
148
click to vote
ACMSE
2004
ACM
15 years 11 months ago
2004
ACM
Most of today’s computers are connected to the Internet or at least to a local network, exposing system vulnerabilities to the potential attackers. One of the attackers’ goals...
173
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
Genetic Programming uses trees to represent chromosomes. The user defines the representation space by defining the set of functions and terminals to label the nodes in the trees....
167
click to vote
RAID
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper proposes a new approach to detecting aggregated anomalous events by correlating host file system changes across space and time. Our approach is based on a key...
171
click to vote
TACAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...