Search results for "Distributed computing"
showing 10 items of 622 documents
The MoSGrid Science Gateway – A Complete Solution for Molecular Simulations
2014
The MoSGrid portal offers an approach to carry out high-quality molecular simulations on distributed compute infrastructures to scientists with all kinds of background and experience levels. A user-friendly Web interface guarantees the ease-of-use of modern chemical simulation applications well established in the field. The usage of well-defined workflows annotated with metadata largely improves the reproducibility of simulations in the sense of good lab practice. The MoSGrid science gateway supports applications in the domains quantum chemistry (QC), molecular dynamics (MD), and docking. This paper presents the open-source MoSGrid architecture as well as lessons learned from its design.
The Blockchain in Microgrids for Transacting Energy and Attributing Losses
2017
In recent years novel models for energy distribu- tion appeared and islanded microgrids quest for new ways to exchange energy between consumers and producers without the need of central authorities. The blockchain mechanism has emerged as a distributed solution for recording energy transactions in power systems. The blockchain has been used to permit users bartering and selling energy and to keep track of such exchanges without exposing them to tampering. In this work, we consider a novel application of the blockchain in islanded microgrids that includes also annotating energy losses caused by energy transactions, in order to have a more realistic matching between the physical status of the…
A Lightweight Middleware Platform for Distributed Computing on Wireless Sensor Networks
2014
Abstract The peculiar features of Wireless Sensor Networks (WSNs) suggest to exploit the distributed computing paradigm to perform complex tasks in a collaborative manner, in order to overcome the constraints related to sensor nodes limited capabilities. In this context, we describe a lightweight middleware platform to support the development of distributed applications on WSNs. The platform provides just a minimal general-purpose software layer, while the application components, including communication and processing algorithms, as well as the exchanged data, are described symbolically, with neither preformed syntax nor strict distinction between data and code. Our approach allows for inte…
Performance Analysis of Memory Cloning Solutions in Mobile Edge Computing
2018
This paper deals with the problem of service migration in the emerging scenarios of Mobile Edge Computing. Mobile edge computing is achieved by moving the traditional cloud infrastructures, exploited by many today applications, close to the network edge in order to reduce the response times in the so called tactile-internet. However, because of user mobility, such an application architecture may pose the problem of service migration in case of handover from one server site to another. After introducing the current solutions for dealing with service migration and, in particular, the approaches based on service decomposition into multiple layers, we quantify the migration time and the service…
Using MANET Protocols in Wireless Sensor and Actor Networks
2008
Although there are several routing protocols for wireless sensor and actor networks (WSAN), none of them have became standard. Now, there are several standard protocols for mobile ad hoc networks (MANET) that have been developed for devices with higher computing features than the sensor nodes. On the other hand, one of the main characteristics of the MANET protocols is their scalability. In this paper, we show the performance of a WSAN, when MANET protocols are used, for several topologies. We will discuss and evaluate which standard protocol is the best one depending on the number of nodes in the topology and depending on their mobility. Finally we will show their comparison. As far as we …
A MANET Autoconfiguration System based on Bluetooth Technology
2006
The availability of both Wi-Fi and Bluetooth technologies on currently available devices offers the possibility to combine both in order to make the most out of their capabilities. In this paper we propose using Bluetooth technology to solve the configuration problem of the terminals conforming an IEEE 802.11-based ad-hoc network. The main objective of mobile ad- hoc networks (MANETs) is to extend the connectivity range of nodes through packet forwarding, thereby avoiding the use of a fixed infrastructure. However, since configuration of nodes is a complex issue, we provide a fast and reliable solution to auto-configure MANET terminals. Our solution is adequate for the quick setup and deplo…
Information Exchange in Mobile Encounter Network
2007
In this paper we analyze an information exchange method based on information diffusion in mobile encounter networks, a form of mobile peer-to-peer networks. We utilize dual mobility model which provides support for more realistic simulations compared to mobility models based only one method of movement. The distribution of the mobile device encounter intervals are discussed and analyzed via simulation runs. The logistic model is suggested to provide reasonably accurate estimates of the information diffusion process.
Network Connectivity and Area Coverage for UAV Fleet Mobility Model with Energy Constraint
2016
International audience; Our main focus through the present paper is on developing an original distributed mobility model for autonomous fleet of interconnected UAVs (Unmanned Aerial Vehicles) performing an area exploration mission. The UAVs, equipped with wireless ad-hoc capabilities, are required to optimally explore an area while maintaining connectivity with their neighboring UAVs and the base station. Because energy is a scarce resource, especially for UAVs, its wise management is quite beneficial for the network lifetime and mission success. Hence, the proposed mobility model, compared to other models in the literature, is the first to ever include the remaining energy level as decisio…
Towards a Formal Analysis of MQtt Protocol in the Context of Communicating Vehicles
2017
International audience; The paper presents a formal approach to model, analyze, and verify a variant of Message Queue Telemetry Transport protocol (MQtt), dedicated to communicating vehicles (MQtt-CV) that send collected data to automotive infrastructures(subscribers). Our formal approach is based on Promela language and its system verification tool, the model checker SPIN. We propose a slight modification of MQtt protocol to reduce the big volume of data collected and sent by vehicles to infrastructures. Indeed, in the original version of MQtt protocol, when a broker receives data from publishers, it sends them directly to its subscribers without any filtration. As consequence, subscribers…
Concept of Client-Server Environment for Agent-Based Modeling and Simulation of Living Systems
2015
In the paper a concept for integrated and simple-to-use agent-based modeling and simulation environment is presented. The modeling environment allows simulating massive agent-based systems. Modeling environment itself is not domain specific, but it is expandable and allows creating domain-specific models. Hierarchical environment structure is supported. Individual agents could evolve by its individual path and pace. We use the General Living Systems theory as a reference model to check whether proposed modeling and simulation environment may also be used to describe models of living systems that are most complex systems around. The main concepts of proposed modeling environment such as agen…