Modular support for developing mobile ad hoc applications

Abstract This PhD thesis addresses the issue of alleviating the burden of developing ad hoc applications. Such applications have the particularity of running on mobile devices, communicating in a peer-to-peer manner and implement some proximity-based semantics. A typical example of such application can be a radar application where users see their avatar as well as the avatars of their friends on a map on their mobile phone. Such application become increasingly popular with the advent of the latest generation of mobile smart phones with their impressive computational power, their peer-to-peer communication capabilities and their location detection technology. Unfortunately, the existing programming support for such applications is limited, hence the need to address this issue in order to alleviate their development burden. This thesis specifically tackles this problem by providing several tools for application development support. First, it provides the location-based publish/subscribe service (LPSS), a communication abstraction, which elegantly captures recurrent communication issues and thus allows to dramatically reduce the code complexity. LPSS is implemented in a modular manner in order to be able to target two different network architectures. One pragmatic implementation is aimed at mainstream infrastructure-based mobile networks, where mobile devices can communicate through fixed antennas. The other fully decentralized implementation targets emerging mobile ad hoc networks (MANETs), where no fixed infrastructure is available and communication can only occur in a peer-to-peer fashion. For each of these architectures, various implementation strategies tailored for different application scenarios that can be parametrized at deployment time. Second, this thesis provides two location-based message diffusion protocols, namely 6Shot broadcast and 6Shot multicast, specifically aimed at MANETs and fine tuned to be used as building blocks for LPSS. Finally this thesis proposes Phomo, a phone motion testing tool that allows to test proximity semantics of ad hoc applications without having to move around with mobile devices. These different developing support tools have been packaged in a coherent middleware framework called Pervaho.

Schedule of Debt Service and Coverage for Iowa State University of Science and Technology for the Academic Building Revenue Bond Funds for the year ended June 30, 2009

Schedule of Debt Service and Coverage for Iowa State University of Science and Technology for the Academic Building Revenue Bond Funds for the year ended June 30, 2009

Equipment and Vehicle Purchase Report for Fiscal Year 2009 as required by Iowa Code section 307.47

Attached is the Equipment and Vehicle Purchase Report for Fiscal Year 2009 as required by Iowa Code section 307.47. The report is sorted by Iowa Department of Transportation accounting object codes.

State of Iowa Space Utilization and Building Study, October 9, 2000

Executive Summary Purposes of this Report: • Recommend the most logical and economical options to address state governmental space needs in the Polk County metropolitan area to the year 2010. • Include building size, location, phasing, financing, method of project delivery and estimated cost. • Develop a software tool to compare costs of leasing vs. ownership of space. Methodology: Identify: 1. Current amount and location of owned and leased space, by agency; 2. Types of space and whether best located on or off of the Capitol Complex; 3. Utilization of space, noting over-crowding and under-utilization; 4. Current number of workstations for full and part time employees, Personnel Employment Organization (PEO) workers, contractors, interns, etc.; and, 5. History of staff levels to assist in the prediction of staff growth. Scope: This report focuses on 10 state-owned buildings located on the Capitol Complex and 48 leased spaces in the Polk County metropolitan area. (See Figures 1 and 2.) • Due to a separate space study under way by the Legislature, implications of area and staff for the State Capitol building are included only for the Governor, Lieutenant Governor, Treasurer, Secretary of State, Auditor and the Department of Management. • Because it is largely a museum building that does not have office space available for other agencies, the area and staff of the Historical Building are not fully addressed. • Only the parking implications of the new Judicial Building are included in this study because the building space is under the jurisdiction of the Judicial Branch and not available for other agencies. Several state-owned buildings are not included in the scope of this report, generally because they have highly focused purposes, and their space is not available for assignment to other agencies. Several leased locations are not included for similar reasons, including leases that do not fall within the authority of the Department of General Services.

Suite du code des tailles ou recueil des ordonnances, édits, déclarations, reglemens et arrests de la Cour des aydes de Paris sur le fait des tailles. Nouvelle édition... augmentée des ordonnances, édits, déclarations, reglemens & arrests de la Cour des aydes de Paris sur le fait du Tabac

[Acte royal]

Fact Sheet: House and Building Fires, 2009

A fire can engulf a structure in a matter of minutes. Understanding the basic characteristics of fire and learning the proper safety practices can be the key to surviving a house or building fire.

Letter to the Colo-Nesco Community School District as a result of reaudit procedures performed at the request of the Superintendent pursuant to Chapter 11.6(4)(a)(2) of the Code of Iowa for the period July 1, 2007 through June 30, 2008

Letter to the Colo-Nesco Community School District as a result of reaudit procedures performed at the request of the Superintendent pursuant to Chapter 11.6(4)(a)(2) of the Code of Iowa for the period July 1, 2007 through June 30, 2008

Proceedings at the Laying of the Corner Stone of the New Capitol Building at Des Moines, Iowa, November 23, 1871.

An act to provide the State of Iowa with a new state capitol building was enacted on April 14, 1870 and then on Thursday, the 23d day of November, 1871, the corner stone of the new capitol building, at the city of Des Moines, was laid with appropriate ceremonies

Iowa Department of Transportation Fiscal Year 2010 Report of Savings by Using Video Conferencing Through Iowa Communications Network to the Iowa General Assembly Pursuant to Iowa Code § II 84 Acts and Joint Resolutions Enacted at the 1994 Regular Session of the 75th General Assembly of the State of Iowa

Introduction and summary Iowa Code § 8D.10 requires certain state agencies to prepare an annual report to the General Assembly certifying the identified savings associated with that state agency’s use of the Iowa Communications Network (ICN). This report covers estimated cost savings related to video conferencing via ICN for the Iowa Department of Transportation (DOT). In FY 2010, the DOT did not conduct any sessions utilizing ICN’s video conferencing system. Therefore, no cost savings were calculated for this report.

Iowa Code Section 307.47 Equipment and Vehicle Report

Attached is the Iowa Department of Transportation's Equipment and Vehicle Purchase Report for Fiscal Year 2010 as required by Iowa Code section 307.47.