Skip to main content

Research Repository

Advanced Search

All Outputs (57)

Temporal and spatial coherence verification in SMIL documents with hoare logic and disjunctive constraints: A hybrid formal method (2017)
Journal Article

© 2016 - Society for Design and Process Science. All rights reserved. The challenging problem of formal verification of SMIL (Synchronized Multimedia Integration Language Specification) documents is considered in this paper, where we propose a hybrid... Read More about Temporal and spatial coherence verification in SMIL documents with hoare logic and disjunctive constraints: A hybrid formal method.

Developing knowledge-based citizen participation platform to support smart city decision making: The smarticipate case study (2017)
Journal Article

© 2017 by the authors. Citizen participation for social innovation and co-creating urban regeneration proposals can be greatly facilitated by innovative IT systems. Such systems can use Open Government Data, visualise urban proposals in 3D models and... Read More about Developing knowledge-based citizen participation platform to support smart city decision making: The smarticipate case study.

The local implementation of the United Nations’ sustainable development goals by an international charity project in Africa (2017)
Journal Article

The United Nations’ Sustainable Development Goals (UN SDG) framework was signed by virtually every nation on earth in 2015 and addresses topics ranging from environmental protection; via equal opportunities, education and the eradication of diseases;... Read More about The local implementation of the United Nations’ sustainable development goals by an international charity project in Africa.