1894 search results - page 319 / 379 » A TLA Proof System |
123
Voted
ISCAS
2008
IEEE
15 years 10 months ago
2008
IEEE
— The lack of robust tamper-proofing techniques in security applications has provided attackers the ability to virtually circumvent mathematically strong cryptographic primitive...
125
Voted
SADFE
2008
IEEE
15 years 10 months ago
2008
IEEE
Secure logs are powerful tools for building systems that must resist forgery, prove temporal relationships, and stand up to forensic scrutiny. The proofs of order and integrity en...
155
Voted
DASFAA
2007
IEEE
15 years 10 months ago
2007
IEEE
Today, result sets of skyline queries are unmanageable due to their exponential growth with the number of query predicates. In this paper we discuss the incremental re-computation ...
125
click to vote
ICDCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Delaunay triangulation (DT) is a useful geometric structure for networking applications. In this paper we investigate the design of join, leave, and maintenance protocols to const...
107
Voted
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— The topological properties of peer-to-peer overlay networks are critical factors that dominate the performance of these systems. Several non-constant and constant degree interc...