Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Watro, Ronald
6  Ergebnisse:
Personensuche X
?
1

TinyPK : securing sensor networks with public key techno..:

, In: Proceedings of the 2nd ACM workshop on Security of ad hoc and sensor networks,
Watro, Ronald ; Kong, Derrick ; Cuti, Sue-fen... - p. 59-64 , 2004
Link: https://dl.acm.org/doi/1..
 
?
2

Mathematical foundations for time warp systems:

Leivent, Jonathan I. ; Watro, Ronald J.
ACM Transactions on Programming Languages and Systems (TOPLAS).  15 (1993)  5 - p. 771-794 , 1993
Link: https://dl.acm.org/doi/1..
 
?
3

Mathematical foundations for time warp systems:

Leivent, Jonathan I. ; Watro, Ronald J.
ACM Transactions on Programming Languages and Systems.  15 (1993)  5 - p. 771-794 , 1993
Link: https://doi.org/10.1145/..
 
?
4

A correctness proof for combinator reduction with cycles:

Farmer, William M. ; Ramsdell, John D. ; Watro, Ronald J.
ACM Transactions on Programming Languages and Systems (TOPLAS).  12 (1990)  1 - p. 123-134 , 1990
Link: https://dl.acm.org/doi/1..
 
?
5

A correctness proof for combinator reduction with cycles:

Farmer, William M. ; Ramsdell, John D. ; Watro, Ronald J.
ACM Transactions on Programming Languages and Systems.  12 (1990)  1 - p. 123-134 , 1990
Link: https://doi.org/10.1145/..
 
?
6

Fault-tolerant decision making in totally asynchronous dist..:

, In: Proceedings of the sixth annual ACM Symposium on Principles of distributed computing,
Bridgland, Michael F. ; Watro, Ronald J. - p. 52-63 , 1987
Link: https://dl.acm.org/doi/1..
 
1-6