Departamento
Sistemas Informáticos y Computación
Aportaciones congreso (42) Publicaciones en las que ha participado algún/a investigador/a
2014
-
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
-
A threshold based context change detection in pervasive environments: Application to a smart campus
Procedia Computer Science
-
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)
-
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)
-
An algorithmic approach to stability verification of polyhedral switched systems
Proceedings of the American Control Conference
-
An app for managing unregulated teaching activities
2014 International Symposium on Computers in Education, SIIE 2014
-
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
-
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
-
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)
-
Development of a MOOC management system
ACM International Conference Proceeding Series
-
Dynamic networks of timed Petri nets
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
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)
-
Effectiveness for input output conformance simulation iocos
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
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
-
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)
-
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)
-
IOCO as a simulation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Integrating the case method and design projects in the industry-sponsored academic education
ASME International Mechanical Engineering Congress and Exposition, Proceedings (IMECE)
-
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
-
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)