José Carlos Canal Velasco-rekin lankidetzan egindako argitalpenak (15)

2011

  1. Context-aware composition and adaptation based on model transformation

    Journal of Universal Computer Science, Vol. 17, Núm. 5, pp. 777-806

  2. Model-based dependable composition of self-adaptive systems

    Informatica (Ljubljana), Vol. 35, Núm. 1, pp. 51-62

2010

  1. A formal framework for structural reconfiguration of components under behavioural adaptation

    Electronic Notes in Theoretical Computer Science

  2. Context-aware service discovery and adaptation based on semantic matchmaking

    5th International Conference on Internet and Web Applications and Services, ICIW 2010

  3. Handling Data-Based Concurrency in Context-Aware Service Protocols

    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, pp. 62-77

2009

  1. A Formal Model and Composition Language for Context-Aware Service Protocols

    CASTA 2009: WORKSHOP ON CONTEXT-AWARE SOFTWARE TECHNOLOGY AND APPLICATIONS

  2. A formal model and composition language for context-aware service protocols

    CASTA'09 - Proceedings of the 1st International Workshop on Context-Aware Software Technology and Applications

  3. ITACA: An integrated toolbox for the automatic composition and adaptation of web services

    Proceedings - International Conference on Software Engineering

2008

  1. A Model-Based Approach to the Verification and Adaptation of WF/.NET Components

    Electronic Notes in Theoretical Computer Science, Vol. 215, Núm. C, pp. 39-55

  2. Modelando la composición y adaptacióhn de servicios web dependientes del contexto

    Actas de las IV Jornadas Científico-Técnicas en Servicios Web y SOA: JSEWEB 2008 : Sevilla 29 y 30 de octubre de 2008 (Editorial de la Universidad de Sevilla), pp. 56-69

  3. Towards a model-based approach for context-aware composition and adaptation: A case study using WF/.NET

    Proceedings of the 5th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2008

2007

  1. An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution

    Electronic Notes in Theoretical Computer Science, Vol. 189, pp. 21-34

  2. Context-based adaptation of component behavioural interfaces

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  3. Dynamic Contextual Adaptation

    Electronic Notes in Theoretical Computer Science, Vol. 175, Núm. 2, pp. 81-95

  4. Enabling adaptivity in user interfaces

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)