| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Robert E. Strom Yuhui Jin , Robert E. Strom: Relational subscription middleware for Internet-scale publish-subscribe. DEBS 2003 Sumeer Bhola , Robert E. Strom, Saurabh Bagchi , Yuanyuan Zhao , Joshua S. Auerbach : Exactly-once Delivery in a Content-based Publish-Subscribe System. DSN 2002 : 7-16 Robert E. Strom, Joshua S. Auerbach : The Optimistic Readers Transformation. ECOOP 2001 : 275-301 Yuanyuan Zhao , Robert E. Strom: Exploitng event stream interpretation in publish-subscribe systems. PODC 2001 : 219-228 Lukasz Opyrchal , Mark Astley , Joshua S. Auerbach , Guruduth Banavar , Robert E. Strom, Daniel C. Sturman : Exploiting IP Multicast in Content-Based Publish-Subscribe Systems. Middleware 2000 : 185-207 David F. Bacon , Robert E. Strom, Ashis Tarafdar : Guava: a dialect of Java without data races. OOPSLA 2000 : 382-400 Marcos Kawazoe Aguilera , Robert E. Strom: Efficient atomic broadcast using deterministic merge. PODC 2000 : 209-218 Guruduth Banavar , Tushar Deepak Chandra , Robert E. Strom, Daniel C. Sturman : A Case for Message Oriented Middleware. DISC 1999 : 1-18 Guruduth Banavar , Tushar Deepak Chandra , Bodhi Mukherjee , Jay Nagarajarao , Robert E. Strom, Daniel C. Sturman : An Efficient Multicast Protocol for Content-Based Publish-Subscribe Systems. ICDCS 1999 : 262-272 Marcos Kawazoe Aguilera , Robert E. Strom, Daniel C. Sturman , Mark Astley , Tushar Deepak Chandra : Matching Events in a Content-Based Subscription System. PODC 1999 : 53-61 Francis N. Parr , Robert E. Strom: NIL: A High-Level Language for Distributed Systems Programming. IBM Systems Journal 38 (2/3): 181-197 (1999) Robert E. Strom, Guruduth Banavar , Kevan Miller , Atul Prakash , Michael Ward : Concurrency Control and View Notification Algorithms for Collaborative Replicated Objects. IEEE Trans. Computers 47 (4): 458-471 (1998) Robert E. Strom, Guruduth Banavar , Kevan Miller , Atul Prakash , Michael Ward : Concurrency Control and View Notification Algorithms for Collaborative Replicated Objects. ICDCS 1997 : 0- Daniel M. Yellin , Robert E. Strom, Richard P. Gabiel : Do Programmers Need Seat Belts? SIGPLAN Notices 31 (3): 5-10 (1996) Daniel M. Yellin , Robert E. Strom: Interfaces, Protocols, and the Semi-Automatic Construction of Software Adaptors. OOPSLA 1994 : 176-190 James R. Russell , Robert E. Strom, Daniel M. Yellin : A Checkable Interface Language for Pointer-Based Structures. Workshop on Interface Definition Languages 1994 : 59-73 Robert E. Strom, Daniel M. Yellin : Extending Typestate Checking Using Conditional Liveness Analysis. IEEE Trans. Software Eng. 19 (5): 478-485 (1993) Robert E. Strom, Daniel M. Yellin : A visual environment for distributed object-oriented multi-applications. OOPS Messenger 4 (2): 205-206 (1993) David F. Bacon , Robert E. Strom: Optimistic Parallelization of Communicating Sequential Processes. PPOPP 1991 : 155-166 Arthur P. Goldberg , Ajei S. Gopal , Andy Lowry , Robert E. Strom: Restoring Global States of Distributed Computations. Workshop on Parallel and Distributed Debugging 1991 : 144-154 Daniel M. Yellin , Robert E. Strom: INC: A Language for Incremental Computations. ACM Trans. Program. Lang. Syst. 13 (2): 211-236 (1991) Daniel M. Yellin , Robert E. Strom: INC: A Language for Incremental Computations PLDI 1988 : 115-124 van Vicious Nguyen , Robert E. Strom: Process Semantics: Universal Axioms Compositional Rules, and Applications. PODC 1988 : 232-247 Robert E. Strom, Shaula Yemini : Typestate: A Programming Language Concept for Enhancing Software Reliability. IEEE Trans. Software Eng. 12 (1): 157-171 (1986) Yechiam Yemini , Robert E. Strom, Shaula Yemini : Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984 North-Holland 1985 Robert E. Strom, Shaula Yemini : Synthesizing Distributed and Parallel Programs through Optimistic Transformations. ICPP 1985 : 632-642 Robert E. Strom, Shaula Yemini : Optimistic Recovery in Distributed Systems ACM Trans. Comput. Syst. 3 (3): 204-226 (1985) Robert E. Strom, Shaula Yemini : Synthesizing Distributed Protocols from Serial Programs. PSTV 1984 : 443-456 Robert E. Strom, Shaula Yemini : The NIL Distributed Systems Programming Language: A Status Report. Seminar on Concurrency 1984 : 512-522 Robert E. Strom: Mechanisms for Compile-Time Enforcement of Security. POPL 1983 : 276-284 Robert E. Strom, Shaula Yemini : Design, Implementation, and Validation of Secure Communications Systems. Protocol Specification, Testing, and Verification 1983 : 317-332 Francis N. Parr , Robert E. Strom: NIL: A High-Level Language for Distributed Systems Programming. IBM Systems Journal 22 (1/2): 111-127 (1983) 1 [ 23 ] [ 26 ] 2 [ 23 ] [ 28 ] 3 [ 28 ] [ 30 ] [ 31 ] 4 [ 14 ] [ 27 ] 5 [ 31 ] 6 [ 20 ] [ 21 ] [ 24 ] [ 25 ] [ 28 ] 7 [ 31 ] 8 [ 23 ] [ 24 ] [ 25 ] 9 [ 19 ] 10 [ 13 ] 11 [ 13 ] 12 [ 32 ] 13 [ 13 ] 14 [ 20 ] [ 21 ] 15 [ 24 ] 16 [ 24 ] 17 [ 10 ] 18 [ 28 ] 19 [ 1 ] [ 22 ] 20 [ 20 ] [ 21 ] 21 [ 17 ] 22 [ 23 ] [ 24 ] [ 25 ] [ 28 ] 23 [ 27 ] 24 [ 20 ] [ 21 ] 25 [ 11 ] [ 12 ] [ 15 ] [ 16 ] [ 17 ] [ 18 ] [ 19 ] 26 [ 2 ] [ 4 ] [ 5 ] [ 6 ] [ 7 ] [ 8 ] [ 9 ] 27 [ 8 ] 28 [ 29 ] [ 31 ]  ©2004 Association for Computing Machinery |
