dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Santosh K. Shrivastava (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Molina-Jiménez, Santosh K. Shrivastava, Massimo Strano: A Model for Checking Contractual Compliance of Business Interactions. IEEE T. Services Computing 5(2): 276-289 (2012)
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed Mihoob, Carlos Molina-Jiménez, Santosh K. Shrivastava: Consumer Side Resource Accounting in the Cloud. I3E 2011: 58-72
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Molina-Jiménez, Santosh K. Shrivastava, Stuart M. Wheater: An architecture for negotiation and enforcement of resource usage policies. SOCA 2011: 1-8
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbubkr Abdelsadiq, Carlos Molina-Jiménez, Santosh K. Shrivastava: A high-level model-checking tool for verifying service agreements. SOSE 2011: 297-304
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbubkr Abdelsadiq, Carlos Molina-Jiménez, Santosh K. Shrivastava: On Model Checker Based Testing of Electronic Contracting Systems. CEC 2010: 88-95
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed Mihoob, Carlos Molina-Jiménez, Santosh K. Shrivastava: A Case for Consumer - centric Resource Accounting Models. IEEE CLOUD 2010: 506-512
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Molina-Jiménez, Santosh K. Shrivastava, Massimo Strano: Exception Handling in Electronic Contracting. CEC 2009: 65-73
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Strano, Carlos Molina-Jiménez, Santosh K. Shrivastava: Implementing a Rule-Based Contract Compliance Checker. I3E 2009: 96-111
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Molina-Jiménez, Nick Cook, Santosh K. Shrivastava: On the Feasibility of Bilaterally Agreed Accounting of Resource Consumption. ICSOC Workshops 2008: 270-283
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Strano, Carlos Molina-Jiménez, Santosh K. Shrivastava: A Rule-Based Notation to Specify Executable Electronic Contracts. RuleML 2008: 81-88
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Molina-Jiménez, Santosh K. Shrivastava, Nick Cook: Implementing Business Conversations with Consistency Guarantees Using Message-Oriented Middleware. EDOC 2007: 51-62
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Molina-Jiménez, Santosh K. Shrivastava, Simon J. Woodman: On State Synchronization of Business Conversations. CEC/EEE 2006: 42
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Molina-Jiménez, Santosh K. Shrivastava: Maintaining Consistency between Loosely Coupled Services in the Presence of Timing Constraints and Validation Errors. ECOWS 2006: 148-160
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Molina-Jiménez, Santosh K. Shrivastava, John P. Warne: A Method for Specifying Contract Mediated Interactions. EDOC 2005: 106-118
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Molina-Jiménez, Santosh K. Shrivastava, Ellis Solaiman, John P. Warne: Run-time monitoring and enforcement of electronic contracts. Electronic Commerce Research and Applications 3(2): 108-125 (2004)
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Molina-Jiménez, Santosh K. Shrivastava, Ellis Solaiman, John P. Warne: Contract Representation for Run-time Monitoring and Enforcement. CEC 2003: 103-110
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEllis Solaiman, Carlos Molina-Jiménez, Santosh K. Shrivastava: Model Checking Correctness Properties of Electronic Contracts. ICSOC 2003: 303-318

Selection of 17 from 125 records - Santosh K. Shrivastava has 56 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page