Saila
Sistemas Informáticos y Computación
Argitalpenak (85) Ikertzaileren baten partaidetza izan duten argitalpenak
2015
-
6th international workshop on software engineering for E-Learning (ISELEAR15)
ACM International Conference Proceeding Series
-
A formal method for parallel genetic algorithms
Procedia Computer Science
-
A generic intermediate representation for verification condition generation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A liberal type system for functional logic programs
Mathematical Structures in Computer Science
-
A methodology for designing energy-aware systems for computational science
Procedia Computer Science
-
A methodology for validating cloud models using metamorphic testing
Annales des Telecommunications/Annals of Telecommunications, Vol. 70, Núm. 3-4, pp. 127-135
-
A multi-domain incremental analysis engine and its application to incremental resource analysis
Theoretical Computer Science, Vol. 585, pp. 91-114
-
A multi-scale modeling approach for software architecture deployment
Proceedings of the ACM Symposium on Applied Computing
-
A practical comparator of cost functions and its applications
Science of Computer Programming, Vol. 111, Núm. P3, pp. 483-504
-
A semantic approach for designing Assistive Software Recommender systems
Journal of Systems and Software, Vol. 104, pp. 166-178
-
A survey on formal active and passive testing with applications to the cloud
Annales des Telecommunications/Annals of Telecommunications, Vol. 70, Núm. 3-4, pp. 85-93
-
A syntax-directed model transformation framework based on attribute grammars
Communications in Computer and Information Science
-
A zoom-declarative debugger for sequential Erlang programs
Science of Computer Programming, Vol. 110, pp. 104-118
-
AROSA 2015 Track Report: Adaptive and reconfigurable service-oriented and component-based applications and architectures
Proceedings - 2015 IEEE 24th International Conference on Enabling Technologies: Infrastructures for Collaborative Enterprises, WETICE 2015
-
AVERIST: An Algorithmic Verifier for Stability
Electronic Notes in Theoretical Computer Science, Vol. 317, pp. 133-139
-
Analysis of asynchronous programs with event-based synchronization
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9032, pp. 535-559
-
Analysis process for context aware applications in pervasive environments
2015 IEEE/ACIS 16th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2015 - Proceedings
-
Awakening decentralised real-time collaboration: Re-engineering apache wave into a general-purpose federated and collaborative platform
Advances in Intelligent Systems and Computing
-
Building Real-Time Collaborative Applications with a Federated Architecture
IJIMAI, Vol. 3, Núm. 5, pp. 47-52
-
BusinessApp: Una aplicación para el aprendizaje del inglés mediante dispositivos móviles en el campo de los negocios
E-Aesla, Núm. 1