Type-Aware Programming Models for Distributed Applications

Thesis (Ph.D.)--University of Washington, 2016-08

A Framework for Security Transparency in Cloud Computing

Individuals and corporate users are persistently considering cloud adoption due to its significant benefits compared to traditional computing environments. The data and applications in the cloud are stored in an environment that is separated, managed and maintained externally to the organisation. Therefore, it is essential for cloud providers to demonstrate and implement adequate security practices to protect the data and processes put under their stewardship. Security transparency in the cloud is likely to become the core theme that underpins the systematic disclosure of security designs and practices that enhance customer confidence in using cloud service and deployment models. In this paper, we present a framework that enables a detailed analysis of security transparency for cloud based systems. In particular, we consider security transparency from three different levels of abstraction, i.e., conceptual, organisation and technical levels, and identify the relevant concepts within these levels. This allows us to provide an elaboration of the essential concepts at the core of transparency and analyse the means for implementing them from a technical perspective. Finally, an example from a real world migration context is given to provide a solid discussion on the applicability of the proposed framework.

Quand les enfants enseignent : un relevé des écrits expérimentaux

Ce travail se propose de porter à la connaissance des professeurs un certain nombre de recherches sur le tutorat effectuées surtout dans les cinq dernières années, ainsi que l'information relative à l'implantation d'un tel système d'enseignement dans les classes de l'élémentaire. Voulant proposer un modèle d'utilité pratique pour les écoles du primaire, nous avons volontairement fait abstraction des recherches portant ou utilisant des étudiants de niveau collégial ou secondaire. Dans la réalité québécoise, les écoles primaires sont totalement indépendantes. Afin de rester opérationnalisables à l'intérieur des structures scolaires, nous avons relevé seulement les recherches où tuteurs aussi bien que tuteurés sont des élèves de l’élémentaire. [...]

BIORETENTION/CISTERN/IRRIGATION TO ELIMINATE STORMWATER RUNOFF AT THE UNIVERSITY OF MARYLAND

Water quality of parking lot (~1,858 m2) stormwater runoff and its treated effluent flow were analyzed for total phosphorus (TP), total nitrogen (TN), total suspended solids (TSS), electrical conductivity (EC), copper, lead and zinc. The novel system under investigation, located at the University of Maryland, College Park, Maryland, includes a standard bioretention facility, underdrained to a cistern to store treated stormwater, and pumped to a vegetable garden for irrigation. The site abstraction, the average bioretention abstraction, and bowl volumes were estimated to be 8500, 4378, and 895 L, respectively; this indicates that rain events of more than 0.45 cm are necessary to produce runoff and more than 0.75 cm will produce system overflow. The cistern water quality indicates good-to-excellent treatment by the system. Compared to local tap water, cistern water has lower concentrations of TP, TN, EC (non-winter), copper, and zinc, indicating a good water source for irrigation.

Development of a real time Image analysis system for traffic monitoring applications.

Image processing offers unparalleled potential for traffic monitoring and control. For many years engineers have attempted to perfect the art of automatic data abstraction from sequences of video images. This paper outlines a research project undertaken at Napier University by the authors in the field of image processing for automatic traffic analysis. A software based system implementing TRIP algorithms to count cars and measure vehicle speed has been developed by members of the Transport Engineering Research Unit (TERU) at the University. The TRIP algorithm has been ported and evaluated on an IBM PC platform with a view to hardware implementation of the pre-processing routines required for vehicle detection. Results show that a software based traffic counting system is realisable for single window processing. Due to the high volume of data required to be processed for full frames or multiple lanes, system operations in real time are limited. Therefore specific hardware is required to be designed. The paper outlines a hardware design for implementation of inter-frame and background differencing, background updating and shadow removal techniques. Preliminary results showing the processing time and counting accuracy for the routines implemented in software are presented and a real time hardware pre-processing architecture is described.

Separable Hyperstructure and Delayed Link Binding

As the amount of material on the World Wide Web continues to grow, users are discovering that the Web's embedded, hard-coded, links are difficult to maintain and update. Hyperlinks need a degree of abstraction in the way they are specified together with a sound underlying document structure and the property of separability from the documents they are linking. The case is made by studying the advantages of program/data separation in computer system architectures and also by re-examining some selected hypermedia systems that have already implemented separability. The prospects for introducing more abstract links into future versions of HTML and PDF, via emerging standards such as XPath, XPointer XLink and URN, are briefly discussed.

Adobe's Acrobat -- providing the missing link?

Adobe's Acrobat software, released in June 1993, is based around a new Portable Document Format (PDF) which offers the possibility of being able to view and exchange electronic documents, independent of the originating software, across a wide variety of supported hardware platforms (PC, Macintosh, Sun UNIX etc.). The fact that the imageable objects are rendered with full use of Level 2 PostScript means that the most demanding requirements can be met in terms of high-quality typography, device-independent colour and full page fidelity with respect to the printed version. PDF possesses an internal structure which supports hypertextual features, and a range of file compression options. In a sense PDF establishes a low-level multiplatform machine code for imageable objects but its notion of hypertext buttons and links is similarly low-level , in that they are anchored to physical locations on xed pages. However, many other hypertext systems think of links as potentially spanning multiple files, which may in turn be located on various machines scattered across the Internet. The immediate challenge is to bridge the "abstraction gap" between high-level notions of a link and PDF's positionally-anchored low-level view. More specifically, how can Mosaic, WWW and Acrobat/PDF be configured so that the notions of "link ", in the various systems, work together harmoniously? This paper reviews progress so far on the CAJUN project (CD-ROM Acrobat Journals Using Networks) with particular reference to experiments that have already taken place in disseminating PDF via e-mail, Gopher and FTP. The prospects for integrating Acrobat seamlessly with WWW are then discussed.

Impact of dead and sunken water hyacinth on biotic communities, the aquatic environment and socioeconomic activities

The mobile water hyacinth, which was produced in growth zones, especially Murchison bay, was mainly exported to three sheltered storage bays (Thruston, Hannington and Waiya). Between 1996 and May 1998, the mobile form of water hyacinth occupied about 800 ha in Thruston bay, 750 ha in Hannington bay and 140 ha in Waiya bay). Biological control weevils and other factors, including localised nutrient depletion, weakened the weed that was confined to the bays and it sunk around October 1998. The settling to the bottom of such huge quantities of organic matter its subsequent decomposition and the debris from this mass was likely to have environmental impacts on biotic communities (e.g. fish and invertebrate), physico-chemical conditions (water quality), and on socio-economic activities (e.g. at fish landings, water abstraction, and hydro-power generation points). Sunken water hyacinth debris could also affect nutrient levels in the water column and lead to reduction in the content of dissolved oxygen. The changes in nutrient dynamics and oxygen levels could affect algal productivity, invertebrate composition and fish communities. Socio-economic impacts of dead sunken weed were expected from debris deposited along the shoreline especially at fish landings, water abstraction and hydropower generation points. Therefore, environmental impact assessment studies were carried out between 1998 and 2002 in selected representative zones of Lake Victoria to identify the effects of the sunken water hyacinth biomass.

Orthogonal persistence in Java supported by aspect- oriented programming and reflection

The persistence concern implemented as an aspect has been studied since the appearance of the Aspect-Oriented paradigm. Frequently, persistence is given as an example that can be aspectized, but until today no real world solution has applied that paradigm. Such solution should be able to enhance the programmer productivity and make the application less prone to errors. To test the viability of that concept, in a previous study we developed a prototype that implements Orthogonal Persistence as an aspect. This first version of the prototype was already fully functional with all Java types including arrays. In this work the results of our new research to overcome some limitations that we have identified on the data type abstraction and transparency in the prototype are presented. One of our goals was to avoid the Java standard idiom for genericity, based on casts, type tests and subtyping. Moreover, we also find the need to introduce some dynamic data type abilities. We consider that the Reflection is the solution to those issues. To achieve that, we have extended our prototype with a new static weaver that preprocesses the application source code in order to introduce changes to the normal behavior of the Java compiler with a new generated reflective code.

Utilisation d'une méthode de correction de retards pour la vérification d'un assemblage de fonctions RTL par rapport à un assemblage de fonctions au niveau fonctionnel

National audience

A parallel numerical solver using hierarchically tiled arrays

Solving linear systems is an important problem for scientific computing. Exploiting parallelism is essential for solving complex systems, and this traditionally involves writing parallel algorithms on top of a library such as MPI. The SPIKE family of algorithms is one well-known example of a parallel solver for linear systems. The Hierarchically Tiled Array data type extends traditional data-parallel array operations with explicit tiling and allows programmers to directly manipulate tiles. The tiles of the HTA data type map naturally to the block nature of many numeric computations, including the SPIKE family of algorithms. The higher level of abstraction of the HTA enables the same program to be portable across different platforms. Current implementations target both shared-memory and distributed-memory models. In this thesis we present a proof-of-concept for portable linear solvers. We implement two algorithms from the SPIKE family using the HTA library. We show that our implementations of SPIKE exploit the abstractions provided by the HTA to produce a compact, clean code that can run on both shared-memory and distributed-memory models without modification. We discuss how we map the algorithms to HTA programs as well as examine their performance. We compare the performance of our HTA codes to comparable codes written in MPI as well as current state-of-the-art linear algebra routines.

Le profil des récidivistes en matière de conduite avec capacités affaiblies par l’alcool : une étude des caractéristiques neuropsychologiques et psychologiques des contrevenants selon leur sexe

Durant les dernières décennies, les différences intersexes en matière de conduite avec les capacités affaiblies par l’alcool (CCAA) ont suscité l’attention, alors que le comportement est en augmentation chez les femmes tandis qu’il diminue chez les hommes. Les données suggèrent que, chez les femmes, la CCAA s’associe à des caractéristiques psychologiques différentes de celles qui se retrouvent chez les contrevenants masculins (c.-à-d. davantage de problèmes liés à l’alcool et aux drogues et de psychopathologies, mais moins de recherche de sensations et de comportements délinquants). Malgré ce profil différentiel, les femmes contrevenantes de la CCAA demeurent une population hautement méconnue, particulièrement en ce qui a trait au profil des récidivistes. Alors que chez les hommes, des données émergentes indiquent que des limitations cognitives sont présentes chez les récidivistes et qu’elles constituent potentiellement un mécanisme sous-jacent au comportement, le profil cognitif des femmes récidivistes demeure inexploré. Des données exploratoires obtenues chez les contrevenantes et la documentation de champs de recherche connexes suggèrent que les femmes se distinguent notamment en ce qui concerne leur fonctionnement exécutif qui pourrait être préservé, alors que leur fonctionnement visuospatial serait déficitaire en comparaison de leurs vis-à-vis masculins. L’objectif de la présente thèse est d’approfondir les connaissances sur les caractéristiques des femmes récidivistes, ce qui permettra de mieux comprendre l’hétérogénéité de cette population et de générer des hypothèses au regard des mécanismes cognitifs sous-jacents à la répétition du comportement de CCAA. Plus spécifiquement, la thèse a pour objectif premier d’étudier les différences entre les sexes en matière de fonctionnement visuospatial et de mémoire visuelle, d’attention et de fonctionnement exécutif (c.-à-d. flexibilité cognitive, abstraction, inhibition). L’objectif secondaire consiste à comparer ces contrevenants au regard de leurs caractéristiques psychologiques (problèmes liés à l’alcool et aux drogues, impulsivité, recherche de sensations, traits antisociaux, anxiété et dépression). L’hypothèse examinée soutient que les femmes et les hommes récidivistes de la CCAA performent moins bien que les femmes et les hommes non-contrevenants en termes de fonctionnement visuospatial, attentionnel et exécutif. En outre, il est attendu que les femmes récidivistes présentent des performances inférieures à celles des hommes récidivistes en ce qui a trait aux fonctions visuospatiales. Par ailleurs, l’hypothèse prévoit que les hommes récidivistes aient des performances inférieures à celles des femmes récidivistes sur le plan exécutif et attentionnel. En matière de caractéristiques psychologiques, il est attendu que les femmes et les hommes récidivistes présentent significativement plus de problèmes liés à l’alcool et aux drogues, d’impulsivité, de recherche de sensations et d’indices de psychopathologies (tendance antisociale, dépression, anxiété) que les non-contrevenants. En outre, il est attendu que les femmes récidivistes présentent plus de problèmes liés à l’alcool et aux drogues et d’indices de dépression et d’anxiété que les hommes récidivistes. Enfin, il est attendu que les hommes récidivistes présentent significativement plus d’impulsivité, de recherche de sensations et de traits antisociaux que les femmes récidivistes. Ces hypothèses se confirment partiellement, alors que les hommes récidivistes (n = 39) présentent des performances inférieures à celles des hommes non-contrevenants (n = 20) et des femmes récidivistes (n = 20) sur le plan attentionnel et exécutifs. Toutefois, les femmes récidivistes ne se distinguent pas des femmes non-contrevenantes (n = 20) en matière de fonctionnement neuropsychologique. En ce qui a trait aux caractéristiques psychologiques, les résultats soutiennent partiellement les hypothèses. La discussion met en lumière que les femmes et des hommes récidivistes présentent des caractéristiques similaires, hormis en ce qui a trait au fonctionnement attentionnel et exécutif qui semble jouer un rôle dans la récidive au masculin, alors que cela n’apparaît pas être le cas chez les femmes chez qui le comportement pourrait être davantage situationnel. La nécessité que des études futures soient réalisées au moyen de devis expérimentaux, de même que les difficultés inhérentes au recrutement des femmes récidivistes sont discutées.

Demonstração de fórmulas matemáticas no ensino médio

The objective of this study is to analyze the validity of working with proofs in the classroom and to present a partial list of proofs of mathematical formulae of the Brazilian secondary/high school curriculum. The adaptation of the proofs into the knowledge and abilities of a secondary school student should also be considered. How the teaching of proofs is treated in official publications in Brazil and other countries is also described. Working with proofs provides a number of benefits to the students, including: the development of logical reasoning, argumentative capacity, analytical skills on a daily basis, as well as motivation and a better understanding of mathematics as a science. The convenience of including the teaching of proofs in Brazilian secondary school curriculum and the need of a balance between the abstraction of proofs and contextualization of the school programmes is discussed. The approach of the proof teaching in the classroom can become a motivating factor or, conversely, a discouraging one. The conclusion is that it would be very useful to create a reference list covering the mathematical expressions of school programmes with their respective proofs that can be understood by secondary school students.

Critics of Human Rights from a Historical Perspective

Implementation of human rights is often criticized because it is perceived as being imposed on the rest of the world. In this case, human rights start to be seen as a sole abstraction, an empty word. What are the theoretical arguments of these critics and can we determine any historical grounds for them? In this paper, I will try to point at similar critics after the French Revolution – like that of the Historical School and Hegel – and try to show if some of these critics are still relevant. And I will compare these critics with contemporary arguments of cultural relativists. There are different streams and categorizations of human rights theories in today’s world. What differentiates them is basically the source of the human rights. After the French Revolution, the historical school had criticized the individuation and Hegel had criticized the formal freedom which was, according to him, a consequence of the Revolution. In this context Hegel drew a distinction between real freedom and formal freedom. Besides the theory of sources, the theories of implementation such as human rights as a model of learning, human rights as a result of an historical process are worth attention. The crucial point is about integrating human rights as an inner process and not to use them as a tool for intervention in other countries, which we observe in today’s world. And this is the exact point why I find the discussion of the sources more important. This discussion can help us to show how the inner evaluation of a society makes the realization of human rights possible and how we can avoid the above mentioned abstraction and misuse.

Introduction to Multi-Agent Simulation

When designing systems that are complex, dynamic and stochastic in nature, simulation is generally recognised as one of the best design support technologies, and a valuable aid in the strategic and tactical decision making process. A simulation model consists of a set of rules that define how a system changes over time, given its current state. Unlike analytical models, a simulation model is not solved but is run and the changes of system states can be observed at any point in time. This provides an insight into system dynamics rather than just predicting the output of a system based on specific inputs. Simulation is not a decision making tool but a decision support tool, allowing better informed decisions to be made. Due to the complexity of the real world, a simulation model can only be an approximation of the target system. The essence of the art of simulation modelling is abstraction and simplification. Only those characteristics that are important for the study and analysis of the target system should be included in the simulation model. The purpose of simulation is either to better understand the operation of a target system, or to make predictions about a target system’s performance. It can be viewed as an artificial white-room which allows one to gain insight but also to test new theories and practices without disrupting the daily routine of the focal organisation. What you can expect to gain from a simulation study is very well summarised by FIRMA (2000). His idea is that if the theory that has been framed about the target system holds, and if this theory has been adequately translated into a computer model this would allow you to answer some of the following questions: · Which kind of behaviour can be expected under arbitrarily given parameter combinations and initial conditions? · Which kind of behaviour will a given target system display in the future? · Which state will the target system reach in the future? The required accuracy of the simulation model very much depends on the type of question one is trying to answer. In order to be able to respond to the first question the simulation model needs to be an explanatory model. This requires less data accuracy. In comparison, the simulation model required to answer the latter two questions has to be predictive in nature and therefore needs highly accurate input data to achieve credible outputs. These predictions involve showing trends, rather than giving precise and absolute predictions of the target system performance. The numerical results of a simulation experiment on their own are most often not very useful and need to be rigorously analysed with statistical methods. These results then need to be considered in the context of the real system and interpreted in a qualitative way to make meaningful recommendations or compile best practice guidelines. One needs a good working knowledge about the behaviour of the real system to be able to fully exploit the understanding gained from simulation experiments. The goal of this chapter is to brace the newcomer to the topic of what we think is a valuable asset to the toolset of analysts and decision makers. We will give you a summary of information we have gathered from the literature and of the experiences that we have made first hand during the last five years, whilst obtaining a better understanding of this exciting technology. We hope that this will help you to avoid some pitfalls that we have unwittingly encountered. Section 2 is an introduction to the different types of simulation used in Operational Research and Management Science with a clear focus on agent-based simulation. In Section 3 we outline the theoretical background of multi-agent systems and their elements to prepare you for Section 4 where we discuss how to develop a multi-agent simulation model. Section 5 outlines a simple example of a multi-agent system. Section 6 provides a collection of resources for further studies and finally in Section 7 we will conclude the chapter with a short summary.