1032 search results - page 197 / 207 » Extended Computation Tree Logic |
92
Voted
ICDCS
2008
IEEE
15 years 4 months ago
2008
IEEE
Distributed Denial-of-Service (DDoS) attacks have emerged as a popular means of causing mass targeted service disruptions, often for extended periods of time. The relative ease an...
COCOON
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Phylogenetic reconstruction from gene-rearrangement data is attracting increasing attention from biologists and computer scientists. Methods used in reconstruction includ...
INDOCRYPT
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. One approach to secure mobile agent execution is restricting the agent route to trusted environments. A necessary condition for this approach to be practical is that the ...
81
Voted
ICNP
1998
IEEE
15 years 1 months ago
1998
IEEE
We present chaining techniques for signing/verifying multiple packets using a single signing/verification operation. We then present flow signing and verification procedures based...
92
Voted
AFRIGRAPH
2009
ACM
15 years 1 months ago
2009
ACM
The generation of accurate Line of Sight (LOS) visibility information consumes significant resources in large scale synthetic environments such as many-on-many serious games and b...