Sistemas Informáticos y Computación

2014

1. A methodology for aiding users to design and model cloud computing architectures

   Proceedings - 10th International Conference on Signal-Image Technology and Internet-Based Systems, SITIS 2014

2. A threshold based context change detection in pervasive environments: Application to a smart campus

   Procedia Computer Science

3. A transformational approach to resource analysis with typed-norms

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

4. Actor- and task-selection strategies for pruning redundant state-exploration in testing

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

5. An algorithmic approach to stability verification of polyhedral switched systems

   Proceedings of the American Control Conference

6. An app for managing unregulated teaching activities

   2014 International Symposium on Computers in Education, SIIE 2014

7. Approche de sélection d'architecture basée augmentation de désordre pour les Systèmes Collaboratifs Ubiquitaires

   Conference Francophone sur l'Architecture Logicielle, CAL 2014

8. Can continuous glucose monitoring identify risk factors in type 1 and type 2 diabetes? A literature review

   2014 IEEE-EMBS International Conference on Biomedical and Health Informatics, BHI 2014

9. Coinductive definition of distances between processes: Beyond bisimulation distances

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

10. Development of a MOOC management system

    ACM International Conference Proceeding Series

11. Dynamic networks of timed Petri nets

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

12. EDD: A declarative debugger for sequential Erlang programs

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

13. Effectiveness for input output conformance simulation iocos

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

14. El proyecto RECORDS: uso de la audiodescripción con fines didácticos en las clases de inglés como segunda lengua

    VII Jornadas de Redes de Investigación en Innovación Docente de la UNED: libro de actas

15. Embedded Systems for People with Special Needs: Insights from a Real Case

    2014 40TH EUROMICRO CONFERENCE SERIES ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2014)

16. Expressiveness of dynamic networks of timed Petri nets

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

17. IOCO as a simulation

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

18. Integrating the case method and design projects in the industry-sponsored academic education

    ASME International Mechanical Engineering Congress and Exposition, Proceedings (IMECE)

19. Le monitoring pour la construction de la représentation graphique de l'architecture des applications orientées services

    Conference Francophone sur l'Architecture Logicielle, CAL 2014

20. Logic-based program synthesis and transformation 23rd international symposium, LOPSTR 2013 Madrid, Spain, september 18-19, 2013 revised selected papers

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