2813 search results - page 515 / 563 » Formalizing Architectural Connection |
116
click to vote
CCS
2009
ACM
16 years 2 months ago
2009
ACM
In wireless roaming a mobile device obtains a service from some foreign network while being registered for the similar service at its own home network. However, recent proposals tr...
106
Voted
CAV
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Contract-based property checkers hold the potential for precise, scalable, and incremental reasoning. However, it is difficult to apply such checkers to large program mod...
129
Voted
TCC
2009
Springer
16 years 2 months ago
2009
Springer
Proofs of Retrievability (PoR), introduced by Juels and Kaliski [JK07], allow the client to store a file F on an untrusted server, and later run an efficient audit protocol in whi...
140
Voted
KDD
2008
ACM
16 years 2 months ago
2008
ACM
This paper presents a new algorithm for sequence prediction over long categorical event streams. The input to the algorithm is a set of target event types whose occurrences we wis...
133
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
The definition of type equivalence is one of the most important design issues for any typed language. In dependentlytyped languages, because terms appear in types, this definition...