1775 search results - page 238 / 355 » Antichains on Three Levels |
ACSAC
2004
IEEE
15 years 5 months ago
2004
IEEE
modeling, such as using epidemic models, has been the general method of choice for understanding and analyzing the high-level effects of worms. However, high-fidelity models, such...
107
click to vote
ANNPR
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Hierarchical neural networks show many benefits when employed for classification problems even when only simple methods analogous to decision trees are used to retrieve t...
105
click to vote
CHES
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Recently, Lenstra and Verheul proposed an efficient cryptosystem called XTR. This system represents elements of F p6 with order dividing p2 -p+1 by their trace over Fp2 ....
102
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
Security in multiagent systems is commonly defined as the ability of the system to deal with intentional threats from other agents. This paper focuses on domains where such intent...
119
click to vote
DATE
2004
IEEE
15 years 5 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...