1553 search results - page 229 / 311 » Democracy Functions of Information Technology |
159
click to vote
LATIN
2004
Springer
15 years 9 months ago
2004
Springer
Equality logic with or without uninterpreted functions is used for proving the equivalence or refinement between systems (hardware verification, compiler’s translation, etc). C...
127
click to vote
MKM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of definitions, which often use overloaded notation. For e...
165
click to vote
DISCEX
2003
IEEE
15 years 9 months ago
2003
IEEE
The IEEE 802.11x MAC protocol, the de facto standard for wireless LANs, includes a distributed coordination function (DCF) mode usable for ad hoc network architectures. The Transm...
150
click to vote
DISCEX
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper¢ presents an authorization framework for supporting fine-grained access control policies enhanced with light-weight intrusion/misuse detectors and response capabiliti...
135
click to vote
SIGIR
2003
ACM
15 years 9 months ago
2003
ACM
Much attention has been paid to the relative effectiveness of interactive query expansion versus automatic query expansion. Although interactive query expansion has the potential ...