4286 search results - page 824 / 858 » Formalizing Service Interactions |
127
click to vote
OOPSLA
2009
Springer
15 years 6 months ago
2009
Springer
The “Killer Examples” series of workshops are highly interactive workshops which have been an annual occurrence at OOPSLA since 2002. The goals of the workshop are to bring to...
123
click to vote
PKC
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Zero-knowledge proofs with witness elimination are protocols that enable a prover to demonstrate knowledge of a witness to the verifier that accepts the interaction prov...
142
click to vote
AC
2000
Springer
15 years 6 months ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...
101
click to vote
IUI
1998
ACM
15 years 6 months ago
1998
ACM
Eliciting user-task models is a thorny problem in modelbased user interface design, and communicating domainspecific knowledge from an expert to a knowledge engineer is a continui...
122
click to vote
SPAA
1998
ACM
15 years 6 months ago
1998
ACM
Modern shared-memory multiprocessors use complex memory system implementations that include a variety of non-trivial and interacting optimizations. More time is spent in verifying...