Exploiting Anytime Algorithms for Collaborative Service Execution in Edge Computing

Computers

2024 | journal-article

Improving Student Placement in Schools: The Case of a School Group in Portugal

Lecture Notes in Networks and Systems

2023 | book-chapter

IoT Clusters for Enhancing Multimedia Applications

Sensors

2022 | journal-article

Enabling Processing Power Scalability with Internet of Things (IoT) Clusters

Electronics

2021 | journal-article

Collaborative Task Processing with Internet of Things (IoT) Clusters

Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering

2021 | book-chapter

Orchestration of Clusters of IoT Devices with Erlang

Software Engineering Perspectives in Intelligent Systems

2020 | book-chapter

Self-organising Clusters in Edge Computing

Intelligent Systems Applications in Software Engineering

2019 | book-chapter

Content Generation for Massively Multiplayer Online Games with Genetic Algorithms

Advances in Intelligent Systems and Computing

2018 | book

Wearables with Heart Rate Monitors and Dynamic Workout Plans

2018 14th International Wireless Communications and Mobile Computing Conference, IWCMC 2018

2018 | conference-paper

A Framework for Massively Multiplayer Online Game Content Generation

2016 IEEE 30th International Conference on Advanced Information Networking and Applications (AINA)

2016 | conference-paper

Passive fault-tolerance management in component-based embedded systems

Computing and Informatics

2015 | journal-article

User-centric cloud intermediation services

Studies in Computational Intelligence

2015 | book

Service-wide adaptations in distributed embedded component-based systems

Studies in Computational Intelligence

2014 | book

A feedback-based decentralised coordination model for distributed open real-time systems

Journal of Systems and Software

2012 | journal-article

A high level approach to web content verification

Advances in Intelligent and Soft Computing

2012 | book

Filtering XML content for publication and presentation on the web

2011 6th International Conference on Digital Information Management, ICDIM 2011

2011 | conference-paper

Semantic verification in an open collaboration scenario

Communications in Computer and Information Science

2011 | book

XCentric-based Visual Approach to Web Content Verification

XML: Aplicações e Tecnologias Associadas

2011 | conference-paper

A rule-based approach to XML processing and web reasoning

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

2010 | book

Flexible and Dynamic Replication Control for Interdependent Distributed Real-Time Embedded Systems

Distributed, Parallel and Biologically Inspired Systems

2010 | book-chapter

Flexible and dynamic replication control for interdependent distributed real-time embedded systems

IFIP Advances in Information and Communication Technology

2010 | book

Towards a flexible and dynamic replication control for distributed real-time embedded systems with qos interdependencies

Technical report, CISTER Research Centre, Available at http://www. cister. isep. ipp. pt/docs/(February 2010)

2010 | report

Collaborative schema construction using regular sequence types

2009 IEEE International Conference on Information Reuse and Integration, IRI 2009

2009 | conference-paper

Coordinated runtime adaptations in cooperative open real-time systems

Proceedings - 12th IEEE International Conference on Computational Science and Engineering, CSE 2009

2009 | conference-paper

Functional Languages: Erlang. ARTIST Survey of Programming Languages Edited by Alan Burns. 2008.

2008 | manual

Hume. ARTIST Survey of Programming Languages Edited by Alan Burns. 2008.

2008 | manual

XCentric: Constraint based XML Processing

XML : aplicações e tecnologias associadas : 6th National Conference

2008 | conference-paper

Sequence Disunification and Its Application in Collaborative Schema Construction

Web Information Systems Engineering – WISE 2007 Workshops

2007 | book-chapter

Sequence disunification and its application in collaborative schema construction

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

2007 | book

Type-based static and dynamic website verification

Second International Conference on Internet and Web Applications and Services, ICIW'07

2007 | conference-paper

XCentric: Logic programming for XML processing

International Conference on Information and Knowledge Management, Proceedings

2007 | conference-paper

Unification with Flexible Arity Symbols: a Typed Approach

20th International Workshop on Unification

2006 | conference-paper

VeriFLog: A Constraint Logic Programming Approach to Verification of Website Content

Advanced Web and Network Technologies, and Applications

2006 | book-chapter

VeriFLog: A constraint logic programming approach to verification of website content

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

2006 | book

Avoiding Infinite Loops in the Solving of Equations Involving Sequence Variables and Terms with Flexible Arity Function Symbols, Technical Report DCC-2005-01, DCC - FC & LIACC, Universidade do Porto, March, 2005

2005 | report

CLP (Flex): Constraint logic programming applied to XML processing

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

2004 | book

CLP(Flex): Constraint Logic Programming Applied to XML Processing

On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE

2004 | book-chapter

Type-Based XML Processing in Logic Programming

Practical Aspects of Declarative Languages

2003 | book-chapter

Type-based XML processing in logic programming

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

2003 | journal-article