A Smart City is an urban area able to create economic development and high quality of life through the integrated use of technology and the optimization of resources. The most common problem in a ...

This study aims to develop an AR smart glasses-assisted IoT learning system that integrates hands-on operation with knowledge acquisition to provide a more immersive blended learning environment, ...

This paper describes an implementation of a smart contracts application layer with protocol-based verification for smart contracts written in the Takamaka subset of Java, that filters only those smart ...