Urmãriți
Ernesto Pimentel
Ernesto Pimentel
Full Professor of Computer Science, University of Malaga
Adresã de e-mail confirmatã pe uma.es - Pagina de pornire
Titlu
Citat de
Citat de
Anul
Formalizing web service choreographies
A Brogi, C Canal, E Pimentel, A Vallecillo
Electronic notes in theoretical computer science 105, 73-94, 2004
3422004
Specification and refinement of dynamic software architectures
C Canal, E Pimentel, JM Troya
Working Conference on Software Architecture, 107-125, 1999
1791999
A cloud-based Internet of Things platform for ambient assisted living
J Cubo, A Nieto, E Pimentel
Sensors 14 (8), 14070-14105, 2014
1532014
Compatibility and inheritance in software architectures
C Canal, E Pimentel, JM Troya
Science of Computer Programming 41 (2), 105-138, 2001
1472001
Adding roles to CORBA objects
C Canal, L Fuentes, E Pimentel, JM Troya, A Vallecillo
IEEE Transactions on Software Engineering 29 (3), 242-260, 2003
952003
Itaca: An integrated toolbox for the automatic composition and adaptation of web services
J Cámara, JA Martín, G Salaun, J Cubo, M Ouederni, C Canal, E Pimentel
2009 IEEE 31st International Conference on Software Engineering, 627-630, 2009
852009
Debugging UML designs with model checking
M del Mar Gallardo, P Merino, E Pimentel
Journal of Object Technology 1 (2), 101-117, 2002
842002
Extending CORBA interfaces with protocols
C Canal, L Fuentes, E Pimentel, JM Troya, A Vallecillo
The Computer Journal 44 (5), 448-462, 2001
812001
Programación orientada a objetos con Java
D MUÐO, F JAVIER, F GUTIERREZ LOPEZ, E PIMENTEL SANCHEZ
Ediciones Paraninfo, SA, 2007
752007
SeaClouds: a European project on seamless management of multi-cloud applications
A Brogi, A Ibrahim, J Soldani, J Carrasco, J Cubo, E Pimentel, F D'Andria
ACM SIGSOFT Software Engineering Notes 39 (1), 1-4, 2014
722014
Automatic generation of adaptation contracts
JA Martín, E Pimentel
Electronic Notes in Theoretical Computer Science 229 (2), 115-131, 2009
562009
A model-based approach to the verification and adaptation of WF/. NET components
J Cubo, G Salaün, C Canal, E Pimentel, P Poizat
Electronic Notes in Theoretical Computer Science 215, 39-55, 2008
562008
An efficient software protection scheme
A Mana, E Pimentel
Trusted Information: The New Decade Challenge 16, 385-401, 2001
552001
Behavioural types and component adaptation
A Brogi, C Canal, E Pimentel
International Conference on Algebraic Methodology and Software Technology, 42-56, 2004
482004
The Role of Abstraction in Model Checking
MM Gallardo, P Merino, L Panizo
Analysis, Verification and Transformation for Declarative Programming and …, 2023
462023
Design by contract in Smalltalk
M Carrillo-Castellon, J Garcia-Molina, E Pimentel, I Repiso
Journal of Object-Oriented Programming 9 (7), 23-28, 1996
461996
Component adaptation through flexible subservicing
A Brogi, C Canal, E Pimentel
Science of Computer Programming 63 (1), 39-56, 2006
452006
A framework for secure execution of software
A Mana, J Lopez, JJ Ortega, E Pimentel, JM Troya
International Journal of Information Security 3, 99-112, 2004
382004
Bidimensional cross-cloud management with TOSCA and Brooklyn
J Carrasco, J Cubo, F Durán, E Pimentel
2016 IEEE 9th International Conference on Cloud Computing (CLOUD), 951-955, 2016
362016
QoS-enabled and self-adaptive connectors for Web Services composition and coordination
JL Pastrana, E Pimentel, M Katrib
Computer Languages, Systems & Structures 37 (1), 2-23, 2011
362011
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20