1805 search results - page 150 / 361 » A Theory of Closure Operators |
175
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Although there are many efficient algorithms for calculating the simulation preorder on finite Kripke structures, only two have been proposed of which the space complexity is of t...
195
click to vote
ACL
1989
15 years 7 months ago
1989
Feature structures are informational elements that have been used in several linguistic theories and in computational systems for natural-language processing. A logicaJ calculus h...
158
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we prove that type-tagging prevents type-flaw attacks on security protocols that use the Exclusive-OR operator as our main contribution. Our proof method is general ...
158
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Type-flaw attacks and multi-protocol attacks on security protocols have been frequently reported in the literature. Heather et al. and Guttman et al. proved that these could be pr...
168
click to vote
IVC
2008
15 years 6 months ago
2008
A novel mathematical framework inspired on Morse Theory for topological triangle characterization in 2D meshes is introduced that is useful for applications involving the creation...