4356 search results - page 718 / 872 » Communicating Transactions - (Extended Abstract) |
169
click to vote
EMSOFT
2001
Springer
15 years 11 months ago
2001
Springer
rovides an abstract programmer’s model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic soft...
167
click to vote
ICALP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present the first private information retrieval (PIR) scheme which is both, deterministically correct and has poly-logarithmic communication complexity. Our PIR proto...
186
click to vote
ICVS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Experimenting and building integrated, operational systems in computational vision poses both theoretical and practical challenges, involving methodologies from control t...
142
click to vote
ISW
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper we consider a new and efficient optimistic nonrepudiation protocol. In a non-repudiation protocol, during which Alice wants to transmit a message to Bob, Al...
157
click to vote
PADL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...