Carlos Canal
Carlos Canal
Geverifieerd e-mailadres voor lcc.uma.es
Titel
Geciteerd door
Geciteerd door
Jaar
A formal approach to component adaptation
A Bracciali, A Brogi, C Canal
Journal of Systems and Software 74 (1), 45-54, 2005
3382005
Formalizing web service choreographies
A Brogi, C Canal, E Pimentel, A Vallecillo
Electronic notes in theoretical computer science 105, 73-94, 2004
3122004
From the Internet of Things to the Internet of People
J Miranda, N Mäkitalo, J Garcia-Alonso, J Berrocal, T Mikkonen, C Canal, ...
IEEE Internet Computing 19 (2), 40-47, 2015
1892015
Model-based adaptation of behavioral mismatching components
C Canal, P Poizat, G Salaün
IEEE Transactions on Software Engineering 34 (4), 546-563, 2008
1772008
Specification and refinement of dynamic software architectures
C Canal, E Pimentel, JM Troya
Working Conference on Software Architecture, 107-125, 1999
1621999
Compatibility and inheritance in software architectures
C Canal, E Pimentel, JM Troya
Science of Computer Programming 41 (2), 105-138, 2001
1362001
Software adaptation.
C Canal, JM Murillo, P Poizat
Obj. Logiciel Base données Réseaux 12 (1), 9-31, 2006
1222006
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
892003
Itaca: An integrated toolbox for the automatic composition and adaptation of web services
J Cámara, JA Martin, G Salaun, J Cubo, M Ouederni, C Canal, E Pimentel
2009 IEEE 31st International Conference on Software Engineering, 627-630, 2009
802009
Synchronizing behavioural mismatch in software composition
C Canal, P Poizat, G Salaün
International Conference on Formal Methods for Open Object-Based Distributed …, 2006
772006
People as a service: a mobile-centric model for providing collective sociological profiles
J Guillen, J Miranda, J Berrocal, J Garcia-Alonso, JM Murillo, C Canal
IEEE software 31 (2), 48-53, 2013
762013
Extending CORBA interfaces with protocols
C Canal, L Fuentes, E Pimentel, JM Troya, A Vallecillo
The Computer Journal 44 (5), 448-462, 2001
712001
Formalizing wsbpel business processes using process algebra
J Cámara, C Canal, J Cubo, A Vallecillo
Electronic Notes in Theoretical Computer Science 154 (1), 159-173, 2006
632006
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
512008
Behavioural types and component adaptation
A Brogi, C Canal, E Pimentel
International Conference on Algebraic Methodology and Software Technology, 42-56, 2004
512004
Component-based software engineering
GTHI Crnkovic, HWSJA Stafford, CSK Wallnau
J. of Systems and Software 74 (1), 1-3, 2005
482005
Component adaptation through flexible subservicing
A Brogi, C Canal, E Pimentel
Science of Computer Programming 63 (1), 39-56, 2006
442006
A service-oriented framework for developing cross cloud migratable software
J Guillén, J Miranda, JM Murillo, C Canal
Journal of Systems and Software 86 (9), 2294-2308, 2013
392013
Extending CORBA interfaces with/spl pi/-calculus for protocol compatibility
C Canal, L Fuentes, JM Troya, A Vallecillo
Proceedings 33rd International Conference on Technology of Object-Oriented …, 2000
392000
An aspect-oriented adaptation framework for dynamic component evolution
J Camara, C Canal, J Cubo, JM Murillo
Electronic Notes in Theoretical Computer Science 189, 21-34, 2007
382007
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20