| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 125 |       | Carlos 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) |
| 122 | | Ahmed Mihoob, Carlos Molina-Jiménez, Santosh K. Shrivastava: Consumer Side Resource Accounting in the Cloud. I3E 2011: 58-72 |
| 121 | | Carlos Molina-Jiménez, Santosh K. Shrivastava, Stuart M. Wheater: An architecture for negotiation and enforcement of resource usage policies. SOCA 2011: 1-8 |
| 120 | | Abubkr Abdelsadiq, Carlos Molina-Jiménez, Santosh K. Shrivastava: A high-level model-checking tool for verifying service agreements. SOSE 2011: 297-304 |
| 119 | | Abubkr Abdelsadiq, Carlos Molina-Jiménez, Santosh K. Shrivastava: On Model Checker Based Testing of Electronic Contracting Systems. CEC 2010: 88-95 |
| 118 | | Ahmed Mihoob, Carlos Molina-Jiménez, Santosh K. Shrivastava: A Case for Consumer - centric Resource Accounting Models. IEEE CLOUD 2010: 506-512 |
| 116 | | Carlos Molina-Jiménez, Santosh K. Shrivastava, Massimo Strano: Exception Handling in Electronic Contracting. CEC 2009: 65-73 |
| 115 | | Massimo Strano, Carlos Molina-Jiménez, Santosh K. Shrivastava: Implementing a Rule-Based Contract Compliance Checker. I3E 2009: 96-111 |
| 112 | | Carlos Molina-Jiménez, Nick Cook, Santosh K. Shrivastava: On the Feasibility of Bilaterally Agreed Accounting of Resource Consumption. ICSOC Workshops 2008: 270-283 |
| 111 | | Massimo Strano, Carlos Molina-Jiménez, Santosh K. Shrivastava: A Rule-Based Notation to Specify Executable Electronic Contracts. RuleML 2008: 81-88 |
| 109 | | Carlos Molina-Jiménez, Santosh K. Shrivastava, Nick Cook: Implementing Business Conversations with Consistency Guarantees Using Message-Oriented Middleware. EDOC 2007: 51-62 |
| 107 | | Carlos Molina-Jiménez, Santosh K. Shrivastava, Simon J. Woodman: On State Synchronization of Business Conversations. CEC/EEE 2006: 42 |
| 106 | | Carlos 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 |
| 102 | | Carlos Molina-Jiménez, Santosh K. Shrivastava, John P. Warne: A Method for Specifying Contract Mediated Interactions. EDOC 2005: 106-118 |
| 96 | | Carlos 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) |
| 95 | | Carlos Molina-Jiménez, Santosh K. Shrivastava, Ellis Solaiman, John P. Warne: Contract Representation for Run-time Monitoring and Enforcement. CEC 2003: 103-110 |
| 91 | | Ellis 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 Team —
Content released under the ODC-BY 1.0 license — See also our legal information page