Smart products not only provide novel functionalities, but also may establish new business models, markets, or distribution channels, strengthen relationships with consumers, and/or add smart remote services. While many technical obstacles of such products have already been overcome, the broad market dissemination of smart products still poses some vital managerial challenges for decision maker...

Smart environments rely on artificial intelligence techniques to make sense of the sensor data that is collected in the environment and to use the information for data analysis, prediction, and event automation. In this paper we discuss an important smart environment technology – resident activity recognition. This technology is beneficial for health monitoring of a smart environment resident b...

We aim to present mathematical models of smart materials and smart structures. Smart materials are materials which present significant multiphysical couplings. They are integrated in smart structures which take technological advantages of some multiphysical effects. We establish a classification of piezoelectric crystalline materials and propose simplified but accurate models of thin plates or ...

This work explores what people do to inform their surroundings about who is the main addressee of their communicative acts in smart environments. A corpus of naive users, solving daily tasks in a smart home, which is additionally inhabited by a robot, is investigated. Evidence drawn from the corpus is used to create a first model for addressee recognition in smart environments. Finally, the per...

Smart embedded systems are core components of Internet of Things (IoT). Many vulnerabilities and attacks have been discovered against di↵erent classes of IoT devices. Therefore, developing a systematic mechanism to analyze the security of smart embedded systems will help developers discover new attacks, and improve the design and implementation of the system. In this paper, we formally model th...

Simulation is an important tool for study, analysis, design and evaluation of real world systems that we are unable to experiment with directly. Due to complexity of Smart Grids communication systems, it is necessary to use advanced simulation systems with the aim of accelerate the development and implementation of Smart Grids. In this paper, an advanced simulation platform (based on OMNET++) f...

This paper studies an emerging technology in network service market: smart routing technology. We focus on the economics issues related to the adoption of this new technology, such as contracting, bandwidth allocation and cost-benefit analysis. This study shows the advantage of deploying smart routers assuming efficient contract and usage, and quantifies the extra benefit they can generate. Int...

Smart contracts in Ethereum are executed by the Ethereum Virtual Machine (EVM). We defined EVM in Lem, a language that can be compiled for a few interactive theorem provers. We tested our definition against a standard test suite for Ethereum implementations. Using our definition, we proved some safety properties of Ethereum smart contracts in an interactive theorem prover Isabelle/HOL. To our k...

Smart meter management system is intended for user information collection, processing and real-time monitoring. To deal with the huge amount of data obtained by the system with the smart meter in large-scale is a very important issue. This article conducts system architecture design reference and store and read performance testing based on the analysis of the current system status and business ...