Seguir
Carlos Molina-Jimenez
Carlos Molina-Jimenez
Senior Research Associate, Computer Laboratory, University of Cambridge
Dirección de correo verificada de cl.cam.ac.uk - Página principal
Título
Citado por
Citado por
Año
On the monitoring of contractual service level agreements
C Molina-Jimenez, S Shrivastava, J Crowcroft, P Gevros
Proceedings. First IEEE International Workshop on Electronic Contracting …, 2004
902004
Run-time monitoring and enforcement of electronic contracts
C Molina-Jimenez, S Shrivastava, E Solaiman, J Warne
Electronic Commerce Research and Applications 3 (2), 108-125, 2004
722004
Contract representation for run-time monitoring and enforcement
C Molina-Jimenez, S Shrivastava, E Solaiman, J Warne
EEE International Conference on E-Commerce, 2003. CEC 2003., 103-110, 2003
702003
Implementation of smart contracts using hybrid architectures with on and off–blockchain components
C Molina-Jimenez, I Sfyrakis, E Solaiman, I Ng, MW Wong, A Chun, ...
2018 IEEE 8th International Symposium on Cloud and Service Computing (SC2 …, 2018
692018
Picasso: A lightweight edge computing platform
A Lertsinsrubtavee, A Ali, C Molina-Jimenez, A Sathiaseelan, J Crowcroft
2017 IEEE 6th International Conference on Cloud Networking (CloudNet), 1-7, 2017
582017
On and off-blockchain enforcement of smart contracts
C Molina-Jimenez, E Solaiman, I Sfyrakis, I Ng, J Crowcroft
Euro-Par 2018: Parallel Processing Workshops: Euro-Par 2018 International …, 2019
572019
Model checking correctness properties of electronic contracts
E Solaiman, C Molina-Jimenez, S Shrivastav
Service-Oriented Computing-ICSOC 2003: First International Conference …, 2003
482003
A model for checking contractual compliance of business interactions
C Molina-Jimenez, S Shrivastava, M Strano
IEEE Transactions on Services Computing 5 (2), 276-289, 2011
472011
A proposal to detect errors in Enterprise Application Integration solutions
RZ Frantz, R Corchuelo, C Molina-Jiménez
Journal of Systems and Software 85 (3), 480-497, 2012
412012
A case for consumer–centric resource accounting models
A Mihoob, C Molina-Jimenez, S Shrivastava
2010 IEEE 3rd International Conference on Cloud Computing, 506-512, 2010
352010
Connecting the edges: A universal, mobile-centric, and opportunistic communications architecture
CA Sarros, S Diamantopoulos, S Rene, I Psaras, A Lertsinsrubtavee, ...
IEEE Communications Magazine 56 (2), 136-143, 2018
342018
A method for specifying contract mediated interactions
C Molina-Jimenez, S Shrivastava, J Warne
Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05), 106-115, 2005
302005
Implementing a rule-based contract compliance checker
M Strano, C Molina-Jimenez, S Shrivastava
Software Services for e-Business and e-Society: 9th IFIP WG 6.1 Conference …, 2009
272009
Implementing business conversations with consistency guarantees using message-oriented middleware
C Molina-Jimenez, S Shrivastava, N Cook
11th IEEE International Enterprise Distributed Object Computing Conference …, 2007
262007
Cost estimation of service delivery in cloud computing
S Aminullah, C Molina-Jimenez
Internet Technologies and Enterprise Computing, 2012
242012
A rule-based notation to specify executable electronic contracts
M Strano, C Molina-Jimenez, S Shrivastava
Rule Representation, Interchange and Reasoning on the Web: International …, 2008
242008
Maintaining consistency between loosely coupled services in the presence of timing constraints and validation errors
C Molina-Jimenez, S Shrivastava
2006 European Conference on Web Services (ECOWS'06), 148-160, 2006
232006
Monitoring middleware for service level agreements in heterogeneous environments
G Morgan, S Parkin, C Molina-Jimenez, J Skene
Challenges of Expanding Internet: E-Commerce, E-Business, and E-Government …, 2005
232005
A tool for the automatic verification of bpmn choreographies
E Solaiman, W Sun, C Molina-Jimenez
2015 IEEE international conference on services computing, 728-735, 2015
222015
A high-level model-checking tool for verifying service agreements
A Abdelsadiq, C Molina-Jimenez, S Shrivastava
Proceedings of 2011 IEEE 6th international symposium on service oriented …, 2011
192011
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20