1032 search results - page 197 / 207 » Extended Computation Tree Logic |
170
click to vote
ICDCS
2008
IEEE
16 years 9 days 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...
149
Voted
COCOON
2005
Springer
15 years 11 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...
149
click to vote
INDOCRYPT
2001
Springer
15 years 10 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 ...
154
click to vote
ICNP
1998
IEEE
15 years 10 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...
168
click to vote
AFRIGRAPH
2009
ACM
15 years 9 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...