Using a Grid-Enabled Wireless Sensor Network for Flood Management

Flooding is becoming an increasing problem. As a result there is a need to deploy more sophisticated sensor networks to detect and react to flooding. This paper outlines a demonstration that illustrates our proposed solution to this problem involving embedded wireless hardware, component based middleware and overlay networks

Interaction analysis for fault-tolerance in aspect-oriented programming

The key contribution of Aspect-Oriented Programming (AOP) is the encapsulation of crosscutting concerns in aspects, which facilities modular reasoning. However, common methods of introducing aspects into the system, incorporating features such as implicit control-flow, mean that the ability to discover interactions between aspects can be compromised. This has profound implications for developers working on fault-tolerant systems. We present an analysis for aspects which can re- veal these interactions, thus providing insight into positioning of error detection mechanisms and outlining candidate containment units. We also present Aida, an implementation of this analysis for the AspectJ language

Component-based System Software: A Generic Approach

Component-based software engineering has recently emerged as a promising solution to the development of system-level software. Unfortunately, current approaches are limited to specific platforms and domains. This lack of generality is particularly problematic as it prevents knowledge sharing and generally increases development costs. In this paper we present OpenCom, a generic component-based platform that is specifically designed to support a wide range of system software, both in terms of deployment environments (e.g. PDAs, embedded devices, network processor-based routers) and target domains (e.g. embedded systems, middleware, OSs, programmable networking environments). We discuss the fundamentals of OpenCom’s programming model, present a performance evaluation, and illustrate the advantages of our model based on several case studies

Modular Aspect Verification for Safer Aspect-Based Evolution

Abstract. A long-term research goal for Aspect-Oriented Programming is the modular verification of aspects such that safe evolution and reuse is facilitated. However, one of the fundamental problems with verifying aspect-oriented programs is the inability to determine the effect of the weaving process on the control flow of the program, and thus on the state of the system and subsequently the properties that hold or are introduced. We propose a novel approach to modular verification of aspect-oriented systems using aspect tagging and Data Flow analysis of Control Flow Graphs.

Assessment of the Efficacy of MRI for Detectionof Changes in Bone Morphology in a MouseModel of Bone Injury

"This is the peer reviewed version of the following article: [Taha, M. A., Manske, S. L., Kristensen, E., Taiani, J. T., Krawetz, R., Wu, Y., Ponjevic, D., Matyas, J. R., Boyd, S. K., Rancourt, D. E. and Dunn, J. F. (2013), Assessment of the efficacy of MRI for detection of changes in bone morphology in a mouse model of bone injury. J. Magn. Reson. Imaging, 38: 231–237], which has been published in final form at [http://dx.doi.org/10.1002/jmri.23876]. This article may be used for non-commercial purposes in accordance with Wiley Terms and Conditions for Self-Archiving."Purpose To determine whether magnetic resonance imaging (MRI) could be used to track changes in skeletal morphology during bone healing using high-resolution micro-computed tomography (μCT) as a standard. We used a mouse model of bone injury to compare μCT with MRI. Materials and Methods Surgery was performed to induce a burr hole fracture in the mouse tibia. A selection of biomaterials was immediately implanted into the fractures. First we optimized the imaging sequences by testing different MRI pulse sequences. Then changes in bone morphology over the course of fracture repair were assessed using in vivo MRI and μCT. Histology was performed to validate the imaging outcomes. Results The rapid acquisition with relaxation enhancement (RARE) sequence provided sufficient contrast between bone and the surrounding tissues to clearly reveal the fracture. It allowed detection of the fracture clearly 1 and 14 days postsurgery and revealed soft tissue changes that were not clear on μCT. In MRI and μCT the fracture was seen at day 1 and partial healing was detected at day 14. Conclusion The RARE sequence was the most suitable for MRI bone imaging. It enabled the detection of hard and even soft tissue changes. These findings suggest that MRI could be an effective imaging modality for assessing changes in bone morphology and pathobiology.Canadian Institutes of Health Research; Alberta Innovates Health Solutions Team in OsteoarthritisYe