Results 241 to 250 of about 3,891,965 (295)

Semantic Technologies for Realising Decentralised Applications for the Web of Things

2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS), 2016
The vision of the Internet of Things (IoT) promises the capability of connecting billions of devices, resources and things together. In the realisation of this vision, we are currently neglecting the interoperability between devices that is caused by a heterogeneous landscape of things and which leads to the proliferation of isolated islands of custom ...
Andreas Harth
exaly   +3 more sources

Towards Declarative Decentralised Application Management in the Fog

2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2020
Managing next-gen applications over Fog computing infrastructures is challenging and calls for new methodologies and tools that enable flexible, scalable and application-specific management along the Cloud-IoT continuum. This article proposes a novel approach for realising a fully decentralised application management in opportunistic Fog computing ...
A. Brogi   +3 more
openaire   +1 more source

Towards automated verification of Bitcoin-based decentralised applications

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023
The Bitcoin language SCRIPT has undergone several technically non-trivial updates, still striving from security and minimal risk exposure. Up-to-date, formal verification is of strong interest for SCRIPT programs that validate the correctness of the Bitcoin decentralised ledger, and allow more and more sophisticated protocols and decentralised ...
Stefano Bistarelli   +3 more
openaire   +1 more source

dAppER: Decentralised Application for Examination Review

2019 IEEE 12th International Conference on Global Security, Safety and Sustainability (ICGS3), 2019
dAppER is to provide an automated quality assurance mechanism for the internal procedures put in place for the production of exam papers and their respective assessment schemes. Higher Education Providers (HEP) in the UK, or for that matter Universities worldwide, have a duty to meet the quality standards and requirements set out in their respective ...
Ian Mitchell 0002   +2 more
openaire   +2 more sources

Home - About - Disclaimer - Privacy