Santosh K. Shrivastava

Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 2011

An architecture for negotiation and enforcement of resource usage policies.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications, 2011

Consumer Side Resource Accounting in the Cloud.

[BibT_eX]

[DOI]

Ahmed Mihoob

Proceedings of the Building the e-World Ecosystem, 2011

2010

Learning from the past for resolving dilemmas of asynchrony.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 2010

On Model Checker Based Testing of Electronic Contracting Systems.

[BibT_eX]

[DOI]

Abubkr Abdelsadiq

Proceedings of the 12th IEEE Conference on Commerce and Enterprise Computing, 2010

A Case for Consumer - centric Resource Accounting Models.

[BibT_eX]

[DOI]

Ahmed Mihoob

Proceedings of the IEEE International Conference on Cloud Computing, 2010

2009

Exception Handling in Electronic Contracting.

[BibT_eX]

[DOI]

Massimo Strano

Proceedings of the 2009 IEEE Conference on Commerce and Enterprise Computing, 2009

Third Party Services for Enabling Business-to-Business Interactions.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2009, 2009

Proactive Fortification of Fault-Tolerant Services.

[BibT_eX]

[DOI]

Dylan Clarke

Isi Mitrani

Proceedings of the Principles of Distributed Systems, 13th International Conference, 2009

Implementing a Rule-Based Contract Compliance Checker.

[BibT_eX]

[DOI]

Massimo Strano

Proceedings of the Software Services for e-Business and e-Society, 2009

2008

Enhancing an Application Server to Support Available Components.

[BibT_eX]

[DOI]

Achmad I. Kistijantoro

IEEE Trans. Software Eng., 2008

A Rule-Based Notation to Specify Executable Electronic Contracts.

[BibT_eX]

[DOI]

Massimo Strano

Proceedings of the Rule Representation, 2008

On the Feasibility of Bilaterally Agreed Accounting of Resource Consumption.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - ICSOC 2008 Workshops, 2008

2007

The Rigorous Implementation of a Fair Exchange Protocol for Non-repudiable Web Service Interactions - a case study.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Data Engineering Workshops, 2007

Implementing Business Conversations with Consistency Guarantees Using Message-Oriented Middleware.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007

2006

Design and Implementation of Web Services Middleware to Support Fair Non-Repudiable Interactions.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 2006

On State Synchronization of Business Conversations.

[BibT_eX]

[DOI]

Simon J. Woodman

Proceedings of the Eighth IEEE International Conference on E-Commerce Technology (CEC 2006) / Third IEEE International Conference on Enterprise Computing, 2006

Satem: Trusted Service Code Execution across Transactions.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), 2006

Transaction Manager Failover: A Case Study Using JBOSS Application Server.

[BibT_eX]

[DOI]

Achmad I. Kistijantoro

Proceedings of the On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006

Maintaining Consistency between Loosely Coupled Services in the Presence of Timing Constraints and Validation Errors.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE European Conference on Web Services (ECOWS 2006), 2006

2005

A Family of Trusted Third Party Based Fair-Exchange Protocols.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2005

Contract-Mediated Interorganizational Interactions.

[BibT_eX]

[DOI]

IEEE Distributed Syst. Online, 2005

Implementing Fair Non-repudiable Interactions with Web Services.

[BibT_eX]

[DOI]

Proceedings of the Ninth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2005), 2005

A Method for Specifying Contract Mediated Interactions.

[BibT_eX]

[DOI]

John P. Warne

Proceedings of the Ninth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2005), 2005

2004

Run-time monitoring and enforcement of electronic contracts.

[BibT_eX]

[DOI]

Ellis Solaiman

John P. Warne

Electron. Commer. Res. Appl., 2004

Notations for the Specification and Verification of Composite Web Services.

[BibT_eX]

[DOI]

Simon J. Woodman

Doug J. Palmer

Proceedings of the 8th International Enterprise Distributed Object Computing Conference (EDOC 2004), 2004

Component Middleware to Support Non-repudiable Service Interactions.

[BibT_eX]

[DOI]

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

2003

The CORBA Activity Service Framework for supporting extended transactions.

[BibT_eX]

[DOI]

Iain Houston

Ian Robinson

Softw. Pract. Exp., 2003

Contract Representation for Run-time Monitoring and Enforcement.

[BibT_eX]

[DOI]

Ellis Solaiman

John P. Warne

Proceedings of the 2003 IEEE International Conference on Electronic Commerce (CEC 2003), 2003

Component Replication in Distributed Systems: A Case Study Using Enterprise Java Beans.

[BibT_eX]

[DOI]

Achmad I. Kistijantoro

Proceedings of the 22nd Symposium on Reliable Distributed Systems (SRDS 2003), 2003

Model Checking Correctness Properties of Electronic Contracts.

[BibT_eX]

[DOI]

Ellis Solaiman

Proceedings of the Service-Oriented Computing, 2003

A Model and a Design Approach to Building QoS Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Architecting Dependable Systems II, 2003

Systematic Development of a Family of Fair Exchange Protocols.

[BibT_eX]

[DOI]

Proceedings of the Data and Applications Security XVII: Status and Prospects, 2003

Middleware Support for Non-repudiable Transactional Information Sharing between Enterprises.

[BibT_eX]

[DOI]

Proceedings of the Distributed Applications and Interoperable Systems, 2003

Middleware for Supporting Inter-organizational Interactions.

[BibT_eX]

[DOI]

Proceedings of the Future Directions in Distributed Computing, 2003

2002

Using Bloom Filters to Speed-up Name Lookup in Distributed Systems.

[BibT_eX]

[DOI]

Neil A. Speirs

Comput. J., 2002

An Examination of the Transition of the Arjuna Distributed Transaction Processing Software from Research to Products.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Industrial Experiences with Systems Software, 2002

Dependability and the Grid: Issues and Challenges.

[BibT_eX]

[DOI]

Richard D. Schlichting

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

Distributed Object Middleware to Support Dependable Information Sharing between Organisations.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2001

A Model and Architecture for Conducting Hierarchically Structured Auctions.

[BibT_eX]

[DOI]

Proceedings of the 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2001

Flexible Workflow Management in the OPENflow System.

[BibT_eX]

[DOI]

J. J. Halliday

Proceedings of the 5th International Enterprise Distributed Object Computing Conference (EDOC 2001), 2001

Theory and Practice of Building Reliable Distributed Applications.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Symposium on Distributed Objects and Applications, 2001

2000

Constructing Dependable Web Services.

[BibT_eX]

[DOI]

David B. Ingham

IEEE Internet Comput., 2000

A Workflow and Agent Based Platform for Service Provisioning.

[BibT_eX]

[DOI]

Proceedings of the 4th International Enterprise Distributed Object Computing Conference (EDOC 2000), 2000

Implementing Flexible Object Group Invocation in Networked Systems.

[BibT_eX]

[DOI]

Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

1999

Guest Editors' Introduction: Workflow-Management Systems.

[BibT_eX]

[DOI]

IEEE Concurr., 1999

On the Provision of Replicated Internet Auction Services.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth Symposium on Reliable Distributed Systems, 1999

A Method for Combining Replication with Caching.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth Symposium on Reliable Distributed Systems, 1999

Enhancing Replica Management Services to Tolerate Group Failures.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '99), 1999

Implementing support for work activity coordination within a distributed workflow system.

[BibT_eX]

[DOI]

J. J. Halliday

Proceedings of the Third International Enterprise Distributed Object Computing Conference, 1999

Design and implemantation of a CORBA fault-tolerant object group service.

[BibT_eX]

Proceedings of the Distributed Applications and Interoperable Systems II, Second IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems, June 28, 1999

OPENflow: A CORBA Based Transactional Workflow System.

[BibT_eX]

[DOI]

Frédéric Ranno

Proceedings of the Advances in Distributed Systems, 1999

The University Student Registration System: A Case Study in Building a High-Availability Distributed Application Using General Purpose Components.

[BibT_eX]

[DOI]

Proceedings of the Advances in Distributed Systems, 1999

Integrating Group Communication with Transactions for Implementing Persistent Replicated Objects.

[BibT_eX]

[DOI]

Proceedings of the Advances in Distributed Systems, 1999

Enhancing Replica Management Services to Cope with Group Failures.

[BibT_eX]

[DOI]

Proceedings of the Advances in Distributed Systems, 1999

1998

Performance of Fault-Tolerant Data and Compute Intensive Programs over a Network of Workstations.

[BibT_eX]

[DOI]

J. A. Smith

Theor. Comput. Sci., 1998

Architectural support for dynamic reconfiguration of distributed workflow applications.

[BibT_eX]

[DOI]

IEE Proc. Softw., 1998

Java transactions for the Internet.

[BibT_eX]

[DOI]

Distributed Syst. Eng., 1998

The Voltan application programming environment for fail-silent processes.

[BibT_eX]

[DOI]

Dave Black

C. Low

Distributed Syst. Eng., 1998

Inter-task Co-ordination in Long-Lived Distributed Applications.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 12th International Symposium, 1998

A transactional workflow based distributed application composition and execution environment.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM SIGOPS European Workshop: Support for Composing Distributed Applications, 1998

Understanding the Role of Atomic Transactions and Group Communications in Implementing Persistent Replicated Objects.

[BibT_eX]

Proceedings of the Advances in Persistent Object Systems, 1998

Checked Transactions in an Asynchronous Message Passing Environment.

[BibT_eX]

[DOI]

Steve J. Caughey

Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

A Language for Specifying the Composition of Reliable Distributed Applications.

[BibT_eX]

[DOI]

Frédéric Ranno

Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

Integrating the Object Transaction Service with the Web.

[BibT_eX]

[DOI]

Proceedings of the Second International Enterprise Distributed Object Computing Workshop, 1998

Architectural support for dynamic reconfiguration of large scale distributed applications.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Configurable Distributed Systems, 1998

1997

Constructing Reliable Web Applications Using Atomic Actions.

[BibT_eX]

[DOI]

Steve J. Caughey

David B. Ingham

Comput. Networks, 1997

Fault-Tolerant Parallel Applications Using Queues and Actions.

[BibT_eX]

[DOI]

J. A. Smith

Proceedings of the 1997 International Conference on Parallel Processing (ICPP '97), 1997

A System for Specifying and Coordinating the Execution of Reliable Distributed Applications.

[BibT_eX]

Frédéric Ranno

Proceedings of the Distributed Applications and Interoperable Systems, Proceedings IFIP TC 6.1 Working Conference DAIS'97, Cottbus, Germany, September 30, 1997

1996

Implementing Fail-Silent Nodes for Distributed Systems.

[BibT_eX]

[DOI]

Francisco V. Brasileiro

Neil A. Speirs

Sha Tao

IEEE Trans. Computers, 1996

A System for Fault-Tolerance Execution of Data and Compute Intensive Programs over a Network of Workstations.

[BibT_eX]

[DOI]

Jim Smith

Proceedings of the Euro-Par '96 Parallel Processing, 1996

Using application specific knowledge for configuring object replicas.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Configurable Distributed Systems, 1996

1995

Focused fault injection testing of software implemented fault tolerance mechanisms of Voltan TMR nodes.

[BibT_eX]

[DOI]

Sha Tao

Distributed Syst. Eng., 1995

The Design and Implementation of Arjuna.

[BibT_eX]

[DOI]

Comput. Syst., 1995

W3Objects: Bringing Object-Oriented Technology to the Web.

[BibT_eX]

[DOI]

David B. Ingham

Steve J. Caughey

Proceedings of the Fourth International Conference on World Wide Web, 1995

Newtop: A Fault-Tolerant Group Communication Protocol.

[BibT_eX]

[DOI]

Raimundo A. Macêdo

Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30, 1995

1994

Structuring Fault-Tolerant Object Systems for Modularity in a Distributed Environment.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 1994

To CATOCS or not to CATOCS, that is the ...

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 1994

el/REL: a family of reliable multicast protocols for distributed systems.

[BibT_eX]

[DOI]

Distributed Syst. Eng., 1994

Lessons Learned from Building and Using the Arjuna Distributed Programming System.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice in Distributed Systems, International Workshop, 1994

Exercising application specific run-time control over clustering of objects.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Configurable Distributed Systems, 1994

1993

The Duality of Fault-tolerant System Structures.

[BibT_eX]

[DOI]

Luigi V. Mancini

Brian Randell

Softw. Pract. Exp., 1993

Maintaining Information about Persistent Replicated Objects in a Distributed System.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Distributed Computing Systems, 1993

Arjuna and Voltan: Case Studies in Building Fault Tolerant Distributed Systems Using Standard Components.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software Architectures for Fault Tolerance, 1993

1992

Principal Features of the VOLTAN Family of Reliable Node Architectures for Distributed Systems.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1992

1991

An Overview of the Arjuna Distributed Programming System.

[BibT_eX]

[DOI]

IEEE Softw., 1991

Structuring Fault-Tolerant Object Systems for Portability.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 1991

Fault-Tolerant Reference Counting for Garbage Collection in Distributed Systems.

[BibT_eX]

[DOI]

Luigi V. Mancini

Comput. J., 1991

Using Objects and Actions to Provide Fault Tolerance in Distributed, Real-Time Applications.

[BibT_eX]

[DOI]

Adrian Waterworth

Proceedings of the Real-Time Systems Symposium, 1991

Operating System Support for Object-Oriented Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Operating Systems of the 90s and Beyond, International Workshop, 1991

1990

A Performance Evaluation Study of Pipeline TMR Systems.

[BibT_eX]

[DOI]

Isi Mitrani

IEEE Trans. Parallel Distributed Syst., 1990

Replicated K-Resilient Objects in Arjuna.

[BibT_eX]

Proceedings of the First Workshop on the Management of Replicated Data, 1990

Preventing State Divergence in Replicated Distributed Programs.

[BibT_eX]

[DOI]

Alan Tully

Proceedings of the Ninth Symposium on Reliable Distributed Systems, 1990

Implementing Fault-Tolerant Distributed Applications.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1990), May 28, 1990

1989

The Treatment of Persistent Objects in Arjuna.

[BibT_eX]

[DOI]

Comput. J., 1989

Constructing Replicated Systems Using Processors with Point-to-Point Communication Links.

[BibT_eX]

[DOI]

Alan Tully

Proceedings of the 16th Annual International Symposium on Computer Architecture. Jerusalem, 1989

Replication within atomic actions and conversations: a case study in fault-tolerance duality.

[BibT_eX]

[DOI]

Luigi Vincenzo Mancini

Proceedings of the Nineteenth International Symposium on Fault-Tolerant Computing, 1989

1988

Rajdoot: A Remote Procedure Call Mechanism Supporting Orphan Detection and Killing.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1988

A Formal Treatment of Interference in Remote Procedure Calls.

[BibT_eX]

[DOI]

Giuseppe Pappalardo

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1988

Implementing Concurrency Control in Reliable Object-Oriented Systems.

[BibT_eX]

[DOI]

Proceedings of the ECOOP'88 European Conference on Object-Oriented Programming, 1988

1987

Objects and actions in reliable distributed systems.

[BibT_eX]

[DOI]

Softw. Eng. J., 1987

Exploiting Type Inheritance Facilities to Implement Recoverability in Object Based Systems.

[BibT_eX]

Proceedings of the Sixth Symposium on Reliability in Distributed Software and Database Systems, 1987

Managing Persistent Objects in Arjuna: A System for Reliable Distributed Computing.

[BibT_eX]

Proceedings of the Persistent Object Systems: Their Design Implementation and Use. Proceedings of the Second International Workshop, 1987

1986

A Characterisation of Faults in Systems.

[BibT_eX]

Proceedings of the Fifth Symposium on Reliability in Distributed Software and Database Systems, 1986

Replicated Distributed Processing.

[BibT_eX]

[DOI]

Proceedings of the Networking in Open Systems, 1986

1984

Reliable Remote Procedure Calls.

[BibT_eX]

[DOI]

Proceedings of the Software-Fehlertoleranz und -Zuverlässigkeit, 1984

1983

On the Treatment of Orphans in a Distributed System.

[BibT_eX]

Proceedings of the Third Symposium on Reliability in Distributed Software and Database Systems, 1983

1982

The Design of a Reliable Remote Procedure Call Mechanism.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1982

1981

Structuring Distributed Systems for Recoverability and Crash Resistance.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1981

Some Critical Comments on the Paper "An Optimal Approach to Fault Tolerant Software Systems Design" by Gannon and Shapiro.

[BibT_eX]

[DOI]

Peter A. Lee

J. L. Lloyd

IEEE Trans. Software Eng., 1981

1979

Concurrent Pascal with Backward Error Recovery: Implementation.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1979

Concurrent Pascal with Backward Error Recovery: Language Features and Examples.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1979

1978

Reliable Resource Allocation Between Unreliable Processes.

[BibT_eX]

[DOI]

Jean-Pierre Banâtre

IEEE Trans. Software Eng., 1978

A Model of Recoverability in Multilevel Systems.

[BibT_eX]

[DOI]

Thomas Anderson

Peter A. Lee

IEEE Trans. Software Eng., 1978

Sequential Pascal with Recovery Blocks.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1978

Reliable Software: A Selective Annotated Bibliography.

[BibT_eX]

[DOI]

Thomas Anderson

Softw. Pract. Exp., 1978

1976

Systematic Programming of Scheduling Algorithms.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1976

1975

Process synchronization in high-level languages.

[BibT_eX]

[DOI]

Int. J. Parallel Program., 1975

A View of Concurrent Process Synchronisation.

[BibT_eX]

[DOI]