Santosh K. Shrivastava

134 papers A* 1A 14B 21C 6Journal 46Unranked 45
YearRankTypeTitle / Venue / Authors
2022 J jnl
The evolution of the Arjuna transaction processing system.
Softw. Pract. Exp.
Mark C. Little, Santosh K. Shrivastava
2015 — conf
Designing Atomic Business Functions with Distributed Control.
CBI (1)
Santosh K. Shrivastava, Mark C. Little
2013 J jnl
Consumer-centric resource accounting in the cloud.
J. Internet Serv. Appl.
Ahmed Mihoob, Carlos Molina-Jiménez, Santosh K. Shrivastava
2013 — conf
Establishing Conformance between Contracts and Choreographies.
CBI
Carlos Molina-Jiménez, Santosh K. Shrivastava
2012 J jnl
A Model for Checking Contractual Compliance of Business Interactions.
IEEE Trans. Serv. Comput.
Carlos Molina-Jiménez, Santosh K. Shrivastava, Massimo Strano
2012 — conf
An Efficient Distributed Concurrency Control Scheme for Transactional Systems with Client-Side Caching.
HPCC-ICESS
Fahren Bukhari, Santosh K. Shrivastava
2012 J jnl
Another look at the middleware for dependable distributed computing.
J. Internet Serv. Appl.
Mark C. Little, Santosh K. Shrivastava, Stuart M. Wheater
2011 — conf
A high-level model-checking tool for verifying service agreements.
SOSE
Abubkr Abdelsadiq, Carlos Molina-Jiménez, Santosh K. Shrivastava
2011 — conf
An architecture for negotiation and enforcement of resource usage policies.
SOCA
Carlos Molina-Jiménez, Santosh K. Shrivastava, Stuart M. Wheater
2011 — conf
Consumer Side Resource Accounting in the Cloud.
I3E
Ahmed Mihoob, Carlos Molina-Jiménez, Santosh K. Shrivastava
2011 — conf
The Evolution of the Arjuna Transaction Processing System.
Dependable and Historic Computing
Mark C. Little, Santosh K. Shrivastava
2010 — conf
A Case for Consumer - centric Resource Accounting Models.
IEEE CLOUD
Ahmed Mihoob, Carlos Molina-Jiménez, Santosh K. Shrivastava
2010 J jnl
Learning from the past for resolving dilemmas of asynchrony.
ACM SIGOPS Oper. Syst. Rev.
Paul D. Ezhilchelvan, Santosh K. Shrivastava
2010 B conf
On Model Checker Based Testing of Electronic Contracting Systems.
CEC
Abubkr Abdelsadiq, Carlos Molina-Jiménez, Santosh K. Shrivastava
2009 B conf
Exception Handling in Electronic Contracting.
CEC
Carlos Molina-Jiménez, Santosh K. Shrivastava, Massimo Strano
2009 — conf
Implementing a Rule-Based Contract Compliance Checker.
I3E
Massimo Strano, Carlos Molina-Jiménez, Santosh K. Shrivastava
2009 B conf
Proactive Fortification of Fault-Tolerant Services.
OPODIS
Paul D. Ezhilchelvan, Dylan Clarke, Isi Mitrani, Santosh K. Shrivastava
2009 — conf
Third Party Services for Enabling Business-to-Business Interactions.
OTM Conferences (1)
Santosh K. Shrivastava
2008 — conf
A Rule-Based Notation to Specify Executable Electronic Contracts.
RuleML
Massimo Strano, Carlos Molina-Jiménez, Santosh K. Shrivastava
2008 J jnl
Enhancing an Application Server to Support Available Components.
IEEE Trans. Software Eng.
Achmad I. Kistijantoro, Graham Morgan, Santosh K. Shrivastava, Mark C. Little
2008 — conf
On the Feasibility of Bilaterally Agreed Accounting of Resource Consumption.
ICSOC Workshops
Carlos Molina-Jiménez, Nick Cook, Santosh K. Shrivastava
2007 B conf
Implementing Business Conversations with Consistency Guarantees Using Message-Oriented Middleware.
EDOC
Carlos Molina-Jiménez, Santosh K. Shrivastava, Nick Cook
2007 — conf
The Rigorous Implementation of a Fair Exchange Protocol for Non-repudiable Web Service Interactions - a case study.
ICDE Workshops
Nick Cook, Paul Robinson, Santosh K. Shrivastava
2006 J jnl
Design and Implementation of Web Services Middleware to Support Fair Non-Repudiable Interactions.
Int. J. Cooperative Inf. Syst.
Nick Cook, Paul Robinson, Santosh K. Shrivastava
2006 — conf
Maintaining Consistency between Loosely Coupled Services in the Presence of Timing Constraints and Validation Errors.
ECOWS
Carlos Molina-Jiménez, Santosh K. Shrivastava
2006 — conf
On State Synchronization of Business Conversations.
CEC/EEE
Carlos Molina-Jiménez, Santosh K. Shrivastava, Simon J. Woodman
2006 B conf
Satem: Trusted Service Code Execution across Transactions.
SRDS
Santosh K. Shrivastava
2006 — conf
Transaction Manager Failover: A Case Study Using JBOSS Application Server.
OTM Workshops (2)
Achmad I. Kistijantoro, Graham Morgan, Santosh K. Shrivastava
2005 J jnl
A Family of Trusted Third Party Based Fair-Exchange Protocols.
IEEE Trans. Dependable Secur. Comput.
Paul D. Ezhilchelvan, Santosh K. Shrivastava
2005 B conf
A Method for Specifying Contract Mediated Interactions.
EDOC
Carlos Molina-Jiménez, Santosh K. Shrivastava, John P. Warne
2005 J jnl
Contract-Mediated Interorganizational Interactions.
IEEE Distributed Syst. Online
Santosh K. Shrivastava
2005 B conf
Implementing Fair Non-repudiable Interactions with Web Services.
EDOC
Paul Robinson, Nick Cook, Santosh K. Shrivastava
2004 A conf
Component Middleware to Support Non-repudiable Service Interactions.
DSN
Nick Cook, Paul Robinson, Santosh K. Shrivastava
2004 B conf
Notations for the Specification and Verification of Composite Web Services.
EDOC
Simon J. Woodman, Doug J. Palmer, Santosh K. Shrivastava, Stuart M. Wheater
2004 J jnl
Run-time monitoring and enforcement of electronic contracts.
Electron. Commer. Res. Appl.
Carlos Molina-Jiménez, Santosh K. Shrivastava, Ellis Solaiman, John P. Warne
2003 B conf
A Model and a Design Approach to Building QoS Adaptive Systems.
WADS
Paul D. Ezhilchelvan, Santosh K. Shrivastava
2003 B conf
Component Replication in Distributed Systems: A Case Study Using Enterprise Java Beans.
SRDS
Achmad I. Kistijantoro, Graham Morgan, Santosh K. Shrivastava, Mark C. Little
2003 B conf
Contract Representation for Run-time Monitoring and Enforcement.
CEC
Carlos Molina-Jiménez, Santosh K. Shrivastava, Ellis Solaiman, John P. Warne
2003 C conf
Middleware Support for Non-repudiable Transactional Information Sharing between Enterprises.
DAIS
Nick Cook, Santosh K. Shrivastava, Stuart M. Wheater
2003 — conf
Middleware for Supporting Inter-organizational Interactions.
Future Directions in Distributed Computing
Santosh K. Shrivastava
2003 A conf
Model Checking Correctness Properties of Electronic Contracts.
ICSOC
Ellis Solaiman, Carlos Molina-Jiménez, Santosh K. Shrivastava
2003 B conf
Systematic Development of a Family of Fair Exchange Protocols.
DBSec
Paul D. Ezhilchelvan, Santosh K. Shrivastava
2003 J jnl
The CORBA Activity Service Framework for supporting extended transactions.
Softw. Pract. Exp.
Iain Houston, Mark C. Little, Ian Robinson, Santosh K. Shrivastava, Stuart M. Wheater
2002 — conf
An Examination of the Transition of the Arjuna Distributed Transaction Processing Software from Research to Products.
WIESS
Mark C. Little, Santosh K. Shrivastava
2002 A conf
Dependability and the Grid: Issues and Challenges.
DSN
Richard D. Schlichting, Andrew A. Chien, Carl Kesselman, Keith Marzullo, James S. Plank, Santosh K. Shrivastava
2002 A conf
Distributed Object Middleware to Support Dependable Information Sharing between Organisations.
DSN
Nick Cook, Santosh K. Shrivastava, Stuart M. Wheater
2002 J jnl
Using Bloom Filters to Speed-up Name Lookup in Distributed Systems.
Comput. J.
Mark C. Little, Santosh K. Shrivastava, Neil A. Speirs
2001 C conf
A Model and Architecture for Conducting Hierarchically Structured Auctions.
ISORC
Paul D. Ezhilchelvan, Santosh K. Shrivastava, Mark C. Little
2001 B conf
Flexible Workflow Management in the OPENflow System.
EDOC
J. J. Halliday, Santosh K. Shrivastava, Stuart M. Wheater
2001 A conf
The CORBA Activity Service Framework for Supporting Extended Transactions.
Middleware
Iain Houston, Mark C. Little, Ian Robinson, Santosh K. Shrivastava, Stuart M. Wheater
2001 — conf
Theory and Practice of Building Reliable Distributed Applications.
DOA
Mark C. Little, Santosh K. Shrivastava, Stuart M. Wheater
2000 B conf
A Workflow and Agent Based Platform for Service Provisioning.
EDOC
Santosh K. Shrivastava, Luc Bellissard, David Féliot, Marc Herrmann, Noel De Palma, Stuart M. Wheater
2000 J jnl
Constructing Dependable Web Services.
IEEE Internet Comput.
David B. Ingham, Santosh K. Shrivastava, Fabio Panzieri
2000 A conf
Implementing Flexible Object Group Invocation in Networked Systems.
DSN
Graham Morgan, Santosh K. Shrivastava
1999 B conf
A Method for Combining Replication with Caching.
SRDS
Mark C. Little, Santosh K. Shrivastava
1999 — ed.
Advances in Distributed Systems, Advanced Distributed Computing: From Algorithms to Systems
Advances in Distributed Systems
Sacha Krakowiak, Santosh K. Shrivastava
1999 — conf
Constructing Dependable Web Services.
Advances in Distributed Systems
David B. Ingham, Fabio Panzieri, Santosh K. Shrivastava
1999 C conf
Design and implemantation of a CORBA fault-tolerant object group service.
DAIS
Graham Morgan, Santosh K. Shrivastava, Paul D. Ezhilchelvan, Mark C. Little
1999 — conf
Enhancing Replica Management Services to Cope with Group Failures.
Advances in Distributed Systems
Paul D. Ezhilchelvan, Santosh K. Shrivastava
1999 C conf
Enhancing Replica Management Services to Tolerate Group Failures.
ISORC
Paul D. Ezhilchelvan, Santosh K. Shrivastava
1999 J jnl
Guest Editors' Introduction: Workflow-Management Systems.
IEEE Concurr.
Santosh K. Shrivastava, Stuart M. Wheater
1999 B conf
Implementing support for work activity coordination within a distributed workflow system.
EDOC
J. J. Halliday, Santosh K. Shrivastava, Stuart M. Wheater
1999 — conf
Integrating Group Communication with Transactions for Implementing Persistent Replicated Objects.
Advances in Distributed Systems
Mark C. Little, Santosh K. Shrivastava
1999 — conf
OPENflow: A CORBA Based Transactional Workflow System.
Advances in Distributed Systems
Stuart M. Wheater, Santosh K. Shrivastava, Frédéric Ranno
1999 B conf
On the Provision of Replicated Internet Auction Services.
SRDS
Fabio Panzieri, Santosh K. Shrivastava
1999 — conf
The University Student Registration System: A Case Study in Building a High-Availability Distributed Application Using General Purpose Components.
Advances in Distributed Systems
Mark C. Little, Stuart M. Wheater, David B. Ingham, C. Richard Snow, Harry Whitfield, Santosh K. Shrivastava
1998 A conf
A Language for Specifying the Composition of Reliable Distributed Applications.
ICDCS
Frédéric Ranno, Santosh K. Shrivastava, Stuart M. Wheater
1998 — conf
A transactional workflow based distributed application composition and execution environment.
ACM SIGOPS European Workshop
Santosh K. Shrivastava, Stuart M. Wheater
1998 J jnl
Architectural support for dynamic reconfiguration of distributed workflow applications.
IEE Proc. Softw.
Santosh K. Shrivastava, Stuart M. Wheater
1998 — conf
Architectural support for dynamic reconfiguration of large scale distributed applications.
CDS
Santosh K. Shrivastava, Stuart M. Wheater
1998 C conf
Checked Transactions in an Asynchronous Message Passing Environment.
ISORC
Steve J. Caughey, Mark C. Little, Santosh K. Shrivastava
1998 B conf
Integrating the Object Transaction Service with the Web.
EDOC
Mark C. Little, Santosh K. Shrivastava
1998 A conf
Inter-task Co-ordination in Long-Lived Distributed Applications.
DISC
Santosh K. Shrivastava
1998 — conf
Java Transactions for the Internet.
COOTS
Mark C. Little, Santosh K. Shrivastava
1998 J jnl
Java transactions for the Internet.
Distributed Syst. Eng.
Mark C. Little, Santosh K. Shrivastava
1998 J jnl
Performance of Fault-Tolerant Data and Compute Intensive Programs over a Network of Workstations.
Theor. Comput. Sci.
J. A. Smith, Santosh K. Shrivastava
1998 J jnl
The Voltan application programming environment for fail-silent processes.
Distributed Syst. Eng.
Dave Black, C. Low, Santosh K. Shrivastava
1998 — conf
Understanding the Role of Atomic Transactions and Group Communications in Implementing Persistent Replicated Objects.
POS/PJW
Mark C. Little, Santosh K. Shrivastava
1997 C conf
A System for Specifying and Coordinating the Execution of Reliable Distributed Applications.
DAIS
Frédéric Ranno, Santosh K. Shrivastava, Stuart M. Wheater
1997 J jnl
Constructing Reliable Web Applications Using Atomic Actions.
Comput. Networks
Mark C. Little, Santosh K. Shrivastava, Steve J. Caughey, David B. Ingham
1997 B conf
Fault-Tolerant Parallel Applications Using Queues and Actions.
ICPP
J. A. Smith, Santosh K. Shrivastava
1996 — conf
A System for Fault-Tolerance Execution of Data and Compute Intensive Programs over a Network of Workstations.
Euro-Par, Vol. I
Jim Smith, Santosh K. Shrivastava
1996 J jnl
Implementing Fail-Silent Nodes for Distributed Systems.
IEEE Trans. Computers
Francisco V. Brasileiro, Paul D. Ezhilchelvan, Santosh K. Shrivastava, Neil A. Speirs, Sha Tao
1996 — conf
Using application specific knowledge for configuring object replicas.
CDS
Mark C. Little, Santosh K. Shrivastava
1995 J jnl
Focused fault injection testing of software implemented fault tolerance mechanisms of Voltan TMR nodes.
Distributed Syst. Eng.
Sha Tao, Paul D. Ezhilchelvan, Santosh K. Shrivastava
1995 A conf
Newtop: A Fault-Tolerant Group Communication Protocol.
ICDCS
Paul D. Ezhilchelvan, Raimundo A. Macêdo, Santosh K. Shrivastava
1995 J jnl
The Design and Implementation of Arjuna.
Comput. Syst.
Graham D. Parrington, Santosh K. Shrivastava, Stuart M. Wheater, Mark C. Little
1995 — conf
W3Objects: Bringing Object-Oriented Technology to the Web.
WWW (Fall)
David B. Ingham, Mark C. Little, Steve J. Caughey, Santosh K. Shrivastava
1994 — conf
Exercising application specific run-time control over clustering of objects.
CDS
Stuart M. Wheater, Santosh K. Shrivastava
1994 — conf
Lessons Learned from Building and Using the Arjuna Distributed Programming System.
Dagstuhl Seminar on Distributed Systems
Santosh K. Shrivastava
1994 J jnl
Structuring Fault-Tolerant Object Systems for Modularity in a Distributed Environment.
IEEE Trans. Parallel Distributed Syst.
Santosh K. Shrivastava, Daniel L. McCue
1994 J jnl
To CATOCS or not to CATOCS, that is the ...
ACM SIGOPS Oper. Syst. Rev.
Santosh K. Shrivastava
1994 J jnl
el/REL: a family of reliable multicast protocols for distributed systems.
Distributed Syst. Eng.
Paul D. Ezhilchelvan, Santosh K. Shrivastava
1993 — conf
Arjuna and Voltan: Case Studies in Building Fault Tolerant Distributed Systems Using Standard Components.
Hardware and Software Architectures for Fault Tolerance
Santosh K. Shrivastava
1993 A conf
Maintaining Information about Persistent Replicated Objects in a Distributed System.
ICDCS
Mark C. Little, Daniel L. McCue, Santosh K. Shrivastava
1993 J jnl
The Duality of Fault-tolerant System Structures.
Softw. Pract. Exp.
Santosh K. Shrivastava, Luigi V. Mancini, Brian Randell
1992 J jnl
Principal Features of the VOLTAN Family of Reliable Node Architectures for Distributed Systems.
IEEE Trans. Computers
Santosh K. Shrivastava, Paul D. Ezhilchelvan, Neil A. Speirs, Sha Tao, Alan Tully
1991 J jnl
An Overview of the Arjuna Distributed Programming System.
IEEE Softw.
Santosh K. Shrivastava, Graeme N. Dixon, Graham D. Parrington
1991 J jnl
Fault-Tolerant Reference Counting for Garbage Collection in Distributed Systems.
Comput. J.
Luigi V. Mancini, Santosh K. Shrivastava
1991 — conf
Operating System Support for Object-Oriented Distributed Systems.
Operating Systems of the 90s and Beyond
Santosh K. Shrivastava, Daniel L. McCue
1991 J jnl
Structuring Fault-Tolerant Object Systems for Portability.
ACM SIGOPS Oper. Syst. Rev.
Daniel L. McCue, Santosh K. Shrivastava
1991 A conf
Using Objects and Actions to Provide Fault Tolerance in Distributed, Real-Time Applications.
RTSS
Santosh K. Shrivastava, Adrian Waterworth
1990 J jnl
A Performance Evaluation Study of Pipeline TMR Systems.
IEEE Trans. Parallel Distributed Syst.
Paul D. Ezhilchelvan, Isi Mitrani, Santosh K. Shrivastava
1990 A conf
Implementing Fault-Tolerant Distributed Applications.
ICDCS
Santosh K. Shrivastava, Stuart M. Wheater
1990 B conf
Preventing State Divergence in Replicated Distributed Programs.
SRDS
Alan Tully, Santosh K. Shrivastava
1990 — conf
Replicated K-Resilient Objects in Arjuna.
Workshop on the Management of Replicated Data
Mark C. Little, Santosh K. Shrivastava
1990 — conf
Structuring fault-tolerant object systems for portability.
ACM SIGOPS European Workshop
Daniel L. McCue, Santosh K. Shrivastava
1989 A* conf
Constructing Replicated Systems Using Processors with Point-to-Point Communication Links.
ISCA
Paul D. Ezhilchelvan, Santosh K. Shrivastava, Alan Tully
1989 — conf
Replication within atomic actions and conversations: a case study in fault-tolerance duality.
FTCS
Luigi Vincenzo Mancini, Santosh K. Shrivastava
1989 A conf
The Treatment of Persistent Objects in Arjuna.
ECOOP
Graeme N. Dixon, Graham D. Parrington, Santosh K. Shrivastava, Stuart M. Wheater
1989 J jnl
The Treatment of Persistent Objects in Arjuna.
Comput. J.
Graeme N. Dixon, Graham D. Parrington, Santosh K. Shrivastava, Stuart M. Wheater
1988 — conf
A Formal Treatment of Interference in Remote Procedure Calls.
FTRTFT
Giuseppe Pappalardo, Santosh K. Shrivastava
1988 A conf
Implementing Concurrency Control in Reliable Object-Oriented Systems.
ECOOP
Graham D. Parrington, Santosh K. Shrivastava
1988 J jnl
Rajdoot: A Remote Procedure Call Mechanism Supporting Orphan Detection and Killing.
IEEE Trans. Software Eng.
Fabio Panzieri, Santosh K. Shrivastava
1987 B conf
Exploiting Type Inheritance Facilities to Implement Recoverability in Object Based Systems.
SRDS
Graeme N. Dixon, Santosh K. Shrivastava
1987 — conf
Managing Persistent Objects in Arjuna: A System for Reliable Distributed Computing.
POS
Graeme N. Dixon, Santosh K. Shrivastava, Graham D. Parrington
1987 J jnl
Objects and actions in reliable distributed systems.
Softw. Eng. J.
Santosh K. Shrivastava, Graeme N. Dixon, Graham D. Parrington
1987 — conf
On the Duality of Fault Tolerant System Structures.
Experiences with Distributed Systems
Santosh K. Shrivastava, Luigi V. Mancini, Brian Randell
1986 — conf
A Characterisation of Faults in Systems.
Symposium on Reliability in Distributed Software and Database Systems
Paul D. Ezhilchelvan, Santosh K. Shrivastava
1986 — conf
Replicated Distributed Processing.
Networking in Open Systems
Santosh K. Shrivastava
1984 — conf
Reliable Remote Procedure Calls.
Software-Fehlertoleranz und -Zuverlässigkeit
Santosh K. Shrivastava
1983 — conf
On the Treatment of Orphans in a Distributed System.
Symposium on Reliability in Distributed Software and Database Systems
Santosh K. Shrivastava
1982 J jnl
The Design of a Reliable Remote Procedure Call Mechanism.
IEEE Trans. Computers
Santosh K. Shrivastava, Fabio Panzieri
1981 J jnl
Some Critical Comments on the Paper "An Optimal Approach to Fault Tolerant Software Systems Design" by Gannon and Shapiro.
IEEE Trans. Software Eng.
Peter A. Lee, J. L. Lloyd, Santosh K. Shrivastava
1981 J jnl
Structuring Distributed Systems for Recoverability and Crash Resistance.
IEEE Trans. Software Eng.
Santosh K. Shrivastava
1979 J jnl
Concurrent Pascal with Backward Error Recovery: Implementation.
Softw. Pract. Exp.
Santosh K. Shrivastava
1979 J jnl
Concurrent Pascal with Backward Error Recovery: Language Features and Examples.
Softw. Pract. Exp.
Santosh K. Shrivastava
1978 J jnl
A Model of Recoverability in Multilevel Systems.
IEEE Trans. Software Eng.
Thomas Anderson, Peter A. Lee, Santosh K. Shrivastava
1978 J jnl
Reliable Resource Allocation Between Unreliable Processes.
IEEE Trans. Software Eng.
Santosh K. Shrivastava, Jean-Pierre Banâtre
1978 J jnl
Reliable Software: A Selective Annotated Bibliography.
Softw. Pract. Exp.
Thomas Anderson, Santosh K. Shrivastava
1978 J jnl
Sequential Pascal with Recovery Blocks.
Softw. Pract. Exp.
Santosh K. Shrivastava
1976 J jnl
Systematic Programming of Scheduling Algorithms.
Softw. Pract. Exp.
Santosh K. Shrivastava
1975 J jnl
A View of Concurrent Process Synchronisation.
Comput. J.
Santosh K. Shrivastava
1975 J jnl
Process synchronization in high-level languages.
Int. J. Parallel Program.
Santosh K. Shrivastava