Search the dblp DataBase

Publications of Author

1. Carlos Molina-Jiménez, Santosh Shrivastava
   Maintaining Consistency between Loosely Coupled Services in the Presence of Timing Constraints and Validation Errors. [Citation Graph (0, 0)][DBLP]
   ECOWS, 2006, pp:148-160 [Conf]
   
2. Carlos Molina-Jiménez, Santosh Shrivastava, John P. Warne
   A Method for Specifying Contract Mediated Interactions. [Citation Graph (0, 0)][DBLP]
   EDOC, 2005, pp:106-118 [Conf]
   
3. Carlos Molina-Jiménez, Lindsay Marshall
   Anonymous and Confidential Communications from an IP Addressless Computer. [Citation Graph (0, 0)][DBLP]
   HUC, 1999, pp:383-385 [Conf]
   
4. Carlos Molina-Jiménez, Jim Pruyne, Aad P. A. van Moorsel
   The Role of Agreements in IT Management Software. [Citation Graph (0, 0)][DBLP]
   WADS, 2004, pp:36-58 [Conf]
   
5. Ellis Solaiman, Carlos Molina-Jiménez, Santosh K. Shrivastava
   Model Checking Correctness Properties of Electronic Contracts. [Citation Graph (0, 0)][DBLP]
   ICSOC, 2003, pp:303-318 [Conf]
   
6. Carlos Molina-Jiménez, Santosh K. Shrivastava, Ellis Solaiman, John P. Warne
   Contract Representation for Run-time Monitoring and Enforcement. [Citation Graph (0, 0)][DBLP]
   CEC, 2003, pp:103-110 [Conf]
   
7. Carlos Molina-Jiménez, Santosh Shrivastava, Simon Woodman
   On State Synchronization of Business Conversations. [Citation Graph (0, 0)][DBLP]
   CEC/EEE, 2006, pp:42- [Conf]
   
8. Carlos Molina-Jiménez, Santosh K. Shrivastava, Ellis Solaiman, John P. Warne
   Run-time monitoring and enforcement of electronic contracts. [Citation Graph (0, 0)][DBLP]
   Electronic Commerce Research and Applications, 2004, v:3, n:2, pp:108-125 [Journal]
   
9. 
   Implementing Business Conversations with Consistency Guarantees Using Message-Oriented Middleware. [Citation Graph (, )][DBLP]
   
   
10. 
    Implementing a Rule-Based Contract Compliance Checker. [Citation Graph (, )][DBLP]
    
    
11. 
    Monitoring Middleware for Service Level Agreements in Heterogeneous Environments. [Citation Graph (, )][DBLP]
    
    
12. 
    On the Feasibility of Bilaterally Agreed Accounting of Resource Consumption. [Citation Graph (, )][DBLP]
    
    
13. 
    Towards a Fault-Tolerant Architecture for Enterprise Application Integration Solutions. [Citation Graph (, )][DBLP]
    
    
14. 
    A Rule-Based Notation to Specify Executable Electronic Contracts. [Citation Graph (, )][DBLP]
    
    
15. 
    Exception Handling in Electronic Contracting. [Citation Graph (, )][DBLP]
    
    
16. 
    A Peer to Peer Protocol for Online Dispute Resolution over Storage Consumption [Citation Graph (, )][DBLP]