Modular software, in which strongly-separated units of functionality can be independently added to and removed from a node's running software, offers a promising approach to effective dynamic software updating in ...
详细信息
ISBN:
(纸本)9781457705137
Modular software, in which strongly-separated units of functionality can be independently added to and removed from a node's running software, offers a promising approach to effective dynamic software updating in Wireless Sensor Networks (WSNs). Modular software updating approaches offer high efficiency, in terms of both network costs and update installation at nodes, as well as low disruption, allowing existing software to continue to operate during updates. Existing approaches however critically lack safety, relying on weakly-typed event-based programming abstractions for inter-module interaction. this precludes compile-time or composition-time verification of interoperability between dynamically loaded modules and therefore presents major risks for future large-scale production-class deployments. In this paper we present Lorien: a component-based modular operating environment that employs interface-based inter-component interaction to support completely type-safe software composition, while still supporting high update efficiency and low disruption. Our approach also has very wide scope, allowing almost 90% of software to be remotely updated on common sensor platforms such as the TelosB. We compare Lorien against existing modular designs, finding that the safety properties of Lorien are offered with near equal efficiency.
Internet connection between client and server for running the web applications and processing the data between clients and servers can be done without passing through the proxy. However, the security issues and the ac...
详细信息
We call radiation at a point of a wireless network the total amount of electromagnetic quantity (energy or power density) the point is exposed to. the impact of radiation can be high and we believe it is worth studyin...
详细信息
ISBN:
(纸本)9781457705137
We call radiation at a point of a wireless network the total amount of electromagnetic quantity (energy or power density) the point is exposed to. the impact of radiation can be high and we believe it is worth studying and control;towards radiation aware wireless networking we take (for the first time in the study of this aspect) a distributed computing, algorithmic approach. We exemplify this line of research by focusing on sensor networks, studying the minimum radiation path problem of finding the lowest radiation trajectory of a person moving from a source to a destination point in the network region. For this problem, we sketch the main ideas behind a linear program that can provide a tight approximation of the optimal solution, and then we discuss three heuristics that can lead to low radiation paths. We also plan to investigate the impact of diverse node mobility to the heuristics' performance.
It is broadly clear that complexity is one of the software natural features. Software natural complexity and software requirement functionality are two inseparable part and they have special range. measurement complex...
详细信息
this paper is concerned with event refinement in the context of CSP parallel to B. Our motivation to include this notion within the CSP parallel to B framework is the desire to increase flexibility in the refinement p...
详细信息
ISBN:
(纸本)3642002544
this paper is concerned with event refinement in the context of CSP parallel to B. Our motivation to include this notion within the CSP parallel to B framework is the desire to increase flexibility in the refinement process. this approach provides the ability to change the events of CSP processes and B machines when refining a system. Notions of refinement based on traces and on traces/divergences allow abstract events to be refined by sequences of concrete events. A complementary notion of refinement between B machines is also proposed, yielding compositionality results for refinement of CSP parallel to B controlled components. the paper also introduces a notion of I/O refinement into our event refinement framework. (C) 2010 Elsevier B.V. All rights reserved.
the functional programs are the recursive functions. therefore, the paper primarily discuss all the forms having the recursive function. For the data structures, such as the lists, the following forms are available: t...
详细信息
these instructions give you basic guidelines for preparing papers for conference proceedings. programming Language is a practical course, which trains students' logical thinking and problem solving. It involves lo...
详细信息
this paper presents our experience in a programming course unit during its first year of EHEA. the course unit features described are the students' profile, teaching methodology and assessment criteria. the virtua...
详细信息
this paper presents our experience in a programming course unit during its first year of EHEA. the course unit features described are the students' profile, teaching methodology and assessment criteria. the virtualisation process and the self-evaluation carried out are presented, concluding our analysis with a set of discussions and recommendations to improve our next teaching course.
To respond to the growing needs of evolution and adaptation coming from the modern open connected world, applications must continuously monitor their own execution and the surrounding context. the events to be observe...
详细信息
the proceedings contain 24 papers. the special focus in this conference is on Distributed Computing and Internet Technology. the topics include: Recursive competitive equilibrium approach for dynamic load balancing a ...
ISBN:
(纸本)9783642190551
the proceedings contain 24 papers. the special focus in this conference is on Distributed Computing and Internet Technology. the topics include: Recursive competitive equilibrium approach for dynamic load balancing a distributed system;smoothed functional and Quasi-Newton Algorithms for Routing in Multi-stage Queueing Network with Constraints;an incremental power greedy heuristic for strong minimum energy topology in wireless sensor networks;kthorder geometric spanners for wireless ad hoc networks;robust and distributed range-free localization using anchor nodes with varying communication range for three dimensional wireless sensor networks;decision support web service;a scalable architecture for real-time online data access;socially responsive resource usage: A protocol;An automated HSV based text tracking system from complex color video;protecting critical infrastructures while preserving each organization’s autonomy;enhanced insider threat detection model that increases data availability;checking anonymity levels for anonymized data;chaos based image encryption scheme based on enhanced logistic map;matrix insertion-deletion systems for bio-molecular structures;artificial bee colony based sensor deployment algorithm for target coverage problem in 3-D terrain;computations and interaction;scribbling interactions with a formal foundation;open government in policy development: From collaborative scenario texts to formal policy models;linear process algebra;jump-start cloud: Efficient deployment framework for large-scale cloud applications;Capacity estimation in HPC systems: Simulation approach;a multi–granular lock model for distributed object oriented databases using semantics.
暂无评论