Sistemas Informáticos y Computación

2017

1. 8th International Workshop on Software Engineering for E-Learning (ISELEAR'17)

   ACM International Conference Proceeding Series

2. A Design Guideline for Adaptation Decisions in the Autonomic Loop

   Procedia Computer Science

3. A formal framework to specify and test systems with fuzzy-time information

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

4. A formal proof generator from semi-formal proof documents

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

5. A formal, resource consumption-preserving translation of actors to Haskell

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

6. A hybrid Ant Colony based system for assist the prevention and mitigation of wildfires in forests

   2017 2nd IEEE International Conference on Computational Intelligence and Applications, ICCIA 2017

7. A multi-agent system architecture for statistics managing and soccer forecasting

   2017 2nd IEEE International Conference on Computational Intelligence and Applications, ICCIA 2017

8. A novel analysis procedure for context-aware applications in ubiquitous environments: Application to a smart building case study

   Proceedings of IEEE/ACS International Conference on Computer Systems and Applications, AICCSA

9. A tool for modeling SoS architectures using bigraphs

   Proceedings of the ACM Symposium on Applied Computing

10. A utility-based approach for self-adaptive systems: Application to a smart building

    Proceedings of IEEE/ACS International Conference on Computer Systems and Applications, AICCSA

11. Adaptive and reconfigurable systems and architectures (AROSA 2017): Summary report

    Proceedings - 2017 IEEE 26th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2017

12. An effective collaborative filtering based method for movie recommendation

    Advances in Intelligent Systems and Computing

13. An introduction to liquid Haskell

    Electronic Proceedings in Theoretical Computer Science, EPTCS

14. Collective intelligence and databases in eHealth: A survey

    Journal of Intelligent and Fuzzy Systems

15. Collective intelligent information and database systems

    Journal of Intelligent and Fuzzy Systems

16. Conditional narrowing modulo SMT and axioms

    ACM International Conference Proceeding Series

17. Context-sensitive dynamic partial order reduction

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

18. EASYINTERFACE: A toolkit for rapid development of GUIs for research prototype tools

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

19. Energy consumption adaptation approach for smart buildings

    Proceedings of IEEE/ACS International Conference on Computer Systems and Applications, AICCSA

20. Evaluation of temporal datasets via interval temporal logic model checking

    Leibniz International Proceedings in Informatics, LIPIcs