Search results for "things"
showing 10 items of 196 documents
Modeling and Verification of Symbolic Distributed Applications Through an Intelligent Monitoring Agent
2022
Wireless Sensor Networks (WSNs) represent a key component in emerging distributed computing paradigms such as IoT, Ambient Intelligence, and Smart Cities. In these contexts, the difficulty of testing, verifying, and monitoring applications in their intended scenarios ranges from challenging to impractical. Current simulators can only be used to investigate correctness at source code level and with limited accuracy. This paper proposes a system and a methodology to model and verify symbolic distributed applications running on WSNs. The approach allows to complement the distributed application code at a high level of abstraction in order to test and reprogram it, directly, on deployed network…
Advances onto the Internet of Things. How Ontologies Make the Internet of Things Meaningful.
2014
Three-dimensional matching based resource provisioning for the design of low-latency heterogeneous IoT networks
2019
Internet-of-Things (IoT) is a networking architecture where promising, intelligent services are designed via leveraging information from multiple heterogeneous sources of data within the network. However, the availability of such information in a timely manner requires processing and communication of raw data collected from these sources. Therefore, the economic feasibility of IoT-enabled networks relies on the efficient allocation of both computational and communication resources within the network. Since fog computing and 5G cellular networks approach this problem independently, there is a need for joint resource-provisioning of both communication and computational resources in the networ…
Evaluating Correlations in IoT Sensors for Smart Buildings
2021
International audience; In this paper we introduce a dataset of environmental information obtained via indoor and outdoor sensors deployed in the SMART Infrastructure Facility of the University of Wollongong (Australia). The acquired dataset is also made open-sourced along with this paper. We also propose a novel approach based on an evolutionary algorithm to determine pairs of correlated sensors. We compare our approach with three other standard techniques on the same dataset: on average, the accuracy of the evolutionary method is about 62,92%. We also evaluate the computational time, assessing the suitability of the proposed pipeline for real-time applications.
Internet of things: why we are not there yet
2014
Twenty-one years past since Weiser's vision of ubiquitous computing (UbiComp) has been written, and it is yet to be fully fulfilled despite of almost all the needed technologies already available. Still, the widespread interest in UbiComp and the results in some of its fields pose a question: why we are not there yet? It seems we miss the 'octopus' head. In this paper, we will try to depict the reasons why we are not there yet, from three different points of view: interaction media, device integration and applications.
Internet of Things. Preliminary Issues for MCCRC Research
2015
The presentation provides a definition of "thing" in an IoT context, clarifies the relations among the Internet of Things and cloud computing, points out who are the actors in such an environment and set the basis for an interdisciplinary research that will focus on e-Health
Internet of Things Law. Of Privacy, Data Protection and Some Other Stuff
2014
The presentation at hand deals with the privacy, data protection and security aspects of the Internet of Things
Energy Efficient Resource Allocation for Wireless Powered UAV Wireless Communication System with Short Packet
2023
The unmanned aerial vehicle (UAV), which is prominent in its flexibility and low cost, is considered to be fully utilized in the future wireless communication system to provide flexible services and improve connectivities. In this paper, we investigate the resource allocation problem in a wireless powered UAV communication system. In this considered system, The UAV acts as hybrid access point (HAP), which can first perform wireless power transfer in the downlink and charge the Internet of Thing (IoT) user devices (UDs). The UDs can use the harvested energy to deliver the data to the UAV. In the uplink, we explicitly consider short packet communication (SPC) as the transmission feature, whic…
Simultaneous harvest-and-transmit ambient backscatter communications under Rayleigh fading
2019
Ambient backscatter communications is an emerging paradigm and a key enabler for pervasive connectivity of low-powered wireless devices. It is primarily beneficial in the Internet of things (IoT) and the situations where computing and connectivity capabilities expand to sensors and miniature devices that exchange data on a low power budget. The premise of the ambient backscatter communication is to build a network of devices capable of operating in a battery-free manner by means of smart networking, radio frequency (RF) energy harvesting and power management at the granularity of individual bits and instructions. Due to this innovation in communication methods, it is essential to investigat…
Designing an Energy Management System for smart houses
2015
Most advantages that the smart grid will bring derive from its capability of improving reliability performance and customers' responsiveness and encouraging greater efficiency decisions by the customers. In this optic, the paper presents an innovative Energy Management System for smart houses, allowing the optimization of the electricity cost and electrical energy consumption and, at the same time, preserving the end-user comfort.