Robert E. Strom

According to our database1, Robert E. Strom authored at least 48 papers between 1983 and 2010.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2010
Placement of replicated tasks for distributed stream processing systems.
Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems, 2010

2009
Deterministic Replay for Transparent Recovery in Component-Oriented Middleware.
Proceedings of the 29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), 2009

Providing transactional quality of service in event stream processing middleware.
Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

2008
Placement Strategies for Internet-Scale Data Stream Systems.
IEEE Internet Comput., 2008

Biologically-Inspired Distributed Middleware Management for Stream Processing Systems.
Proceedings of the Middleware 2008, 2008

2007
Placement of replicated message mediation components.
Proceedings of the Middleware 2007, 2007

SMILE: distributed middleware for event stream processing.
Proceedings of the 6th International Conference on Information Processing in Sensor Networks, 2007

2006
Utility-Driven Proactive Management of Availability in Enterprise-Scale Information Flows.
Proceedings of the Middleware 2006, 2006

2004
An Autonomic Messaging Middleware with Stateful Stream Transformation.
Proceedings of the 1st International Conference on Autonomic Computing (ICAC 2004), 2004

2003
Relational subscription middleware for Internet-scale publish-subscribe.
Proceedings of the 2nd International Workshop on Distributed Event-Based Systems, 2003

2002
Exactly-once Delivery in a Content-based Publish-Subscribe System.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2001
Exploitng event stream interpretation in publish-subscribe systems.
Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, 2001

The Optimistic Readers Transformation.
Proceedings of the ECOOP 2001, 2001

2000
Efficient atomic broadcast using deterministic merge.
Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, 2000

Guava: a dialect of Java without data races.
Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000

Exploiting IP Multicast in Content-Based Publish-Subscribe Systems.
Proceedings of the Middleware 2000, 2000

1999
NIL: A High-Level Language for Distributed Systems Programming.
IBM Syst. J., 1999

A Case for Message Oriented Middleware.
Proceedings of the Distributed Computing, 1999

Matching Events in a Content-Based Subscription System.
Proceedings of the Eighteenth Annual ACM Symposium on Principles of Distributed Computing, 1999

An Efficient Multicast Protocol for Content-Based Publish-Subscribe Systems.
Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, TX, USA, May 31, 1999

1998
Concurrency Control and View Notification Algorithms for Collaborative Replicated Objects.
IEEE Trans. Computers, 1998

Gryphon: An Information Flow Based Approach to Message Brokering
CoRR, 1998

1997
Protocol Specifications and Component Adaptors.
ACM Trans. Program. Lang. Syst., 1997

1996
Do Programmers Need Seat Belts?
ACM SIGPLAN Notices, 1996

1994
Interfaces, Protocols, and the Semi-Automatic Construction of Software Adaptors.
Proceedings of the Ninth Annual Conference on Object-Oriented Programming Systems, 1994

A Checkable Interface Language for Pointer-Based Structures.
Proceedings of the Workshop on Interface Definition Languages, 1994

1993
Extending Typestate Checking Using Conditional Liveness Analysis.
IEEE Trans. Software Eng., 1993

1992
A visual environment for distributed object-oriented multi-applications.
Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 1992


1991
INC: A Language for Incremental Computations.
ACM Trans. Program. Lang. Syst., 1991

Optimistic Parallelization of Communicating Sequential Processes.
Proceedings of the Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1991

Restoring Global States of Distributed Computations.
Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, 1991

High-level language support for programming distributed systems.
Proceedings of the 1991 Conference of the Centre for Advanced Studies on Collaborative Research, 1991

Hermes - a language for distributed computing.
Prentice Hall series in innovative technology, Prentice Hall, ISBN: 978-0-13-389537-7, 1991

1988
Process Semantics: Universal Axioms Compositional Rules, and Applications.
Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing, 1988

Volatile logging in n-fault-tolerant distributed systems.
Proceedings of the Eighteenth International Symposium on Fault-Tolerant Computing, 1988

1987
A CCS semantics for NIL.
Proceedings of the Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts, 1987

1986
Typestate: A Programming Language Concept for Enhancing Software Reliability.
IEEE Trans. Software Eng., 1986

A comparison of the object-oriented and process-oriented paradigms (abstract only).
Proceedings of the 1986 SIGPLAN Workshop on Object-Oriented Programming, 1986

A comparison of the object-oriented and process paradigms.
Proceedings of the 1986 SIGPLAN Workshop on Object-Oriented Programming, 1986

1985
Optimistic Recovery in Distributed Systems
ACM Trans. Comput. Syst., 1985

The NIL distributed systems programming language: a status report.
ACM SIGPLAN Notices, 1985

Viewing Ada from a process model perspective.
Proceedings of the 1985 Annual ACM SIGAda International Conference on Ada, 1985

Synthesizing Distributed and Parallel Programs through Optimistic Transformations.
Proceedings of the International Conference on Parallel Processing, 1985

1984
Synthesizing Distributed Protocols from Serial Programs.
Proceedings of the Protocol Specification, 1984

1983
NIL: An integrated language and system for distributed programming.
Proceedings of the 1983 ACM SIGPLAN Symposium on Programming Language Issues in Software Systems, 1983

Mechanisms for Compile-Time Enforcement of Security.
Proceedings of the Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, 1983

Design, Implementation, and Validation of Secure Communications Systems.
Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983


  Loading...