10568 search results - page 1925 / 2114 » Computer Intelligence and Formalization |
124
Voted
WIMOB
2008
IEEE
15 years 10 months ago
2008
IEEE
—One popular solution for reducing the resource consumption of Intrusion Detection System (IDS) in MANET is to elect a head-cluster (leader) to provide intrusion detection servic...
114
Voted
IEEEARES
2007
IEEE
15 years 10 months ago
2007
IEEE
Validating an end-entity X.509 digital certificate prior to authorizing it for using a resource into the computational Grid has become a widely studied topic due to its importance...
123
Voted
ASIACRYPT
2007
Springer
15 years 9 months ago
2007
Springer
An extended abstract of this paper appears in Kaoru Kurosawa (Ed.): Advances in Cryptology ASIACRYPT 2007, volume 4833 of Lecture Notes in Computer Science, pages 265–282, Spring...
131
Voted
ATVA
2007
Springer
15 years 9 months ago
2007
Springer
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...
135
Voted
CAV
2007
Springer
15 years 9 months ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...