Adaptation-Aware Architecture Modeling and Analysis of Energy Efficiency for Software Systems

This work presents an approach for the architecture analysis of energy efficiency for static and self-adaptive software systems. It introduces a modeling language that captures consumption characteristics on an architectural level. The outlined analysis predicts the energy efficiency of systems described with this language. Lastly, this work introduces an approach for considering transient effects in design time architecture analyses

Correct-by-Construction Development of Dynamic Topology Control Algorithms

Wireless devices are influencing our everyday lives today and will even more so in the future. A wireless sensor network (WSN) consists of dozens to hundreds of small, cheap, battery-powered, resource-constrained sensor devices (motes) that cooperate to serve a common purpose. These networks are applied in safety- and security-critical areas (e.g., e-health, intrusion detection). The topology of such a system is an attributed graph consisting of nodes representing the devices and edges representing the communication links between devices. Topology control (TC) improves the energy consumption behavior of a WSN by blocking costly links. This allows a mote to reduce its transmission power. A TC algorithm must fulfill important consistency properties (e.g., that the resulting topology is connected). The traditional development process for TC algorithms only considers consistency properties during the initial specification phase. The actual implementation is carried out manually, which is error prone and time consuming. Thus, it is difficult to verify that the implementation fulfills the required consistency properties. The problem becomes even more severe if the development process is iterative. Additionally, many TC algorithms are batch algorithms, which process the entire topology, irrespective of the extent of the topology modifications since the last execution. Therefore, dynamic TC is desirable, which reacts to change events of the topology. In this thesis, we propose a model-driven correct-by-construction methodology for developing dynamic TC algorithms. We model local consistency properties using graph constraints and global consistency properties using second-order logic. Graph transformation rules capture the different types of topology modifications. To specify the control flow of a TC algorithm, we employ the programmed graph transformation language story-driven modeling. We presume that local consistency properties jointly imply the global consistency properties. We ensure the fulfillment of the local consistency properties by synthesizing weakest preconditions for each rule. The synthesized preconditions prohibit the application of a rule if and only if the application would lead to a violation of a consistency property. Still, this restriction is infeasible for topology modifications that need to be executed in any case. Therefore, as a major contribution of this thesis, we propose the anticipation loop synthesis algorithm, which transforms the synthesized preconditions into routines that anticipate all violations of these preconditions. This algorithm also enables the correct-by-construction runtime reconfiguration of adaptive WSNs. We provide tooling for both common evaluation steps. Cobolt allows to evaluate the specified TC algorithms rapidly using the network simulator Simonstrator. cMoflon generates embedded C code for hardware testbeds that build on the sensor operating system Contiki

Ritual concepts and political factors in the making of Tang Dynasty princess tombs(643-706 A.D.).

The thesis examines the art and epitaphs of five princess tombs of the Chinese medieval Tang Dynasty (618-907 A.D.) against the background of the historical period and ritual concepts. The thesis discovers that the tomb of a princess did not depict her former life but that its scale, epitaph, and art reflected the status that the tomb builders planned for the deceased, the current political situation, and contemporary concepts of death and burial. Ritual is the grammar with which image and text built their representation of the princess's last abode. The first chapter provides a survey of the field, theoretical perspective and research methodology, and a broad narrative account of the five tombs using archaeological reports and firsthand fieldwork observation. Chapter Two explores the historical background of the sixty-four year period (643-706 A.D.) in which these tombs were built, the conflicts over the extent of princess influence and prestige and the relationship between status and representation. Chapter Three uses ritual texts to reconstruct the possible structure of the transition of the princesses from life to death and the codification of their commemoration, beginning from the living household of the princess and ending at the tomb, her new abode-in-death. The preparations and the burial itself could take anywhere from one to seven months. I argue that these ritual actions and concepts created a space in which the classic stages of rites of passage-separation, liminality, and re-incorporation-occur. Chapter Four shows how princess identities were codified at death by epitaphs which followed a ritually- prescribed plan in describing the princesses' lives. Chapter Five discusses how murals, pottery figurines, and the line engravings on stone together contribute to a coherent program depicting the entry and settlement of the deceased into her new home

Bowdoin Orient v.124, no.1-23 (1993-1994)

https://digitalcommons.bowdoin.edu/bowdoinorient-1990s/1005/thumbnail.jp

The Whitworthian 1956-1957

The Whitworthian student newspaper, September 1956-May 1957.https://digitalcommons.whitworth.edu/whitworthian/1040/thumbnail.jp

Report of the Secretary of the Interior; being part of the message and documents communicated to the two Houses of Congress at the beginning of the second session of the Fifty-third Congress Pt 2, Report of the Commissioner of Education, 1893

Annual Message to Congress wtih Documents: Pres. Cleveland. 4 Dec. HED 1. 53-2, v1-21 , 16692p. [3197-3218] Pres. discusses Indian policy ; annual report of the Sec. of War (Serials 3198-3206) ; annual report of the Sec. of Interior (Serials 3209-3215) ; annual report of the Gen. Land Office (Serial 3 209): annual report of the CIA (Serial 3210); et