1995 search results - page 228 / 399 » What's the Problem |
156
click to vote
TARK
2007
Springer
15 years 10 months ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
159
click to vote
ETS
2006
IEEE
15 years 10 months ago
2006
IEEE
- The resources available on a chip continue to grow, following Moore's Law. However, the major process by which the benefits of Moore's Law accrue, which is the continui...
132
click to vote
VIZSEC
2005
Springer
15 years 10 months ago
2005
Springer
The massive amount of alarm data generated from intrusion detection systems is cumbersome for network system administrators to analyze. Often, important details are overlooked and...
186
click to vote
DOCENG
2004
ACM
15 years 10 months ago
2004
ACM
With the wide adoption of XML as a standard data representation and exchange format, querying XML documents becomes increasingly important. However, relational database systems co...
148
click to vote
WOSS
2004
ACM
15 years 10 months ago
2004
ACM
Complex distributed Internet services form the basis not only of e-commerce but increasingly of mission-critical networkbased applications. What is new is that the workload and in...