Abstract. In-network aggregation has been proposed as one method for reducing energy consumption in sensor networks. In this paper, we explore two ideas related to further reducing energy consumption in the context of in-network aggregation. The first is by influencing the construction of the routing trees for sensor networks with the goal of reducing the size of transmitted data. To this end, we propose a group-aware network configuration method that "clusters" along the same path sensor nodes that belong to the same group. The second idea involves imposing a hierarchy of output filters on the sensor network with the goal of both reducing the size of transmitted data and minimizing the number of transmitted messages. More specifically, we propose a framework to use temporal coherency tolerances in conjunction with in-network aggregation to save energy at the sensor nodes while maintaining specified quality of data. These tolerances are based on user preferences or can be dictated by the network in cases where the network cannot support the current tolerance level. Our framework, called TiNA, works on top of existing in-network aggregation schemes. We evaluate experimentally our proposed schemes in the context of existing in-network aggregation schemes. We present experimental results measuring energy consumption, response time, and quality of data for Group-By queries. Overall, our schemes provide significant energy savings with respect to communication and a negligible drop in quality of data.

No abstract

ACTA M a comprehensive transaction framework that facilitates the formal description of properties of extended transaction models. Specifically, using ACTA, one can specify and reason about (1) the effects of transactions on objects and (2) the mteractlons between transactions. This article presents ACTA as a tool for the syntheszs of e~tended transuctzon models, one which supports the development and analysis of new extended transaction models m a systematic manner Here, this is demonstrated by derivmg new transaction definitions (1) by modifymg the specifications of exlstmg transaction models, (2) by combining the specifications of existing models, and (3) by starting from first principles To exemplify the first, new models are synthesized from atomzc tra nsactlons and JOIn transactions. To illustrate the second, we synthesize a model that combines aspects of the nested-and splzt-tra nsactzon models We demonstrate the latter by deriving the specification of an open-nested-transaction model from hwgh-level requirements.

No abstract

Distributed systems are expected t o support mobile computations ezecuted over a computer network of fixed and mobile hosts. This paper examines the requirements for structuring such mobile computations that access shared data i n a database, argues that opennesting can better facilitate these requirements, and proposes an Open-Nested Transaction model i n a mobile environment using the notion of Reporting Transactions and CO-Transactions.