5084 search results - page 344 / 1017 » Proving Possibility Properties |
175
click to vote
POPL
2005
ACM
16 years 8 days ago
2005
ACM
Cross-realm authentication is a useful and interesting component of Kerberos aimed at enabling secure access to services astride organizational boundaries. We present a formalizat...
178
click to vote
CAV
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...
174
click to vote
CSL
2005
Springer
16 years 7 days ago
2005
Springer
We study computability on sequence spaces, as they are used in functional analysis. It is known that non-separable normed spaces cannot be admissibly represented on Turing machines...
167
click to vote
DEXA
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. The development of scalable parallel database systems requires the design of efficient algorithms for the join operation which is the most frequent and expensive operatio...
171
Voted
HYBRID
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. A methodology for safety verification using barrier certificates has been proposed recently. Conditions that must be satisfied by a barrier certificate can be formula...