234 search results - page 16 / 47 » Examples of Termination |
131
click to vote
CSFW
2011
IEEE
14 years 1 months ago
2011
IEEE
—We present a Horn-clause-based framework for analysing security protocols that use platform configuration registers (PCRs), which are registers for maintaining state inside the...
112
Voted
BROADNETS
2007
IEEE
15 years 8 months ago
2007
IEEE
—“War of the worms” is a war between opposing computer worms, creating complex worm interactions as well as detrimental impact on infrastructure. For example, in September 20...
141
Voted
CIE
2008
Springer
15 years 3 months ago
2008
Springer
Nested datatypes are families of datatypes that are indexed over all types and where the datatype constructors relate different members of the family. This may be used to represent...
115
Voted
ICCV
2005
IEEE
16 years 3 months ago
2005
IEEE
The paper describes a method for automatically extracting informative feature hierarchies for object classification, and shows the advantage of the features constructed hierarchic...
209
Voted
POPL
2008
ACM
16 years 2 months ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...