9 research outputs found

    Composition non modulaire modulaire

    Get PDF
    This document survey my different research activities since I have defended my PhD. Thesis. The thread of these work is my fascination for modular programming but also its limits when there is not a single modular decomposition but several decompositions that must coexist. These researches are structured according to several axes: control and data flow, static and dynamic behavior, sequential, concurrent and distributed context.Ce document retrace mes différentes activités de recherche depuis ma thèse. Le fil conducteur de ces travaux est ma fascination pour la programmation modulaire mais aussi ses limites lorsque qu'il n'existe pas une décomposition modulaire d'un problème mais plusieurs décompositions qui doivent coexister. Ces recherches sont déclinées selon plusieurs axes : flot de contrôle et flot de données, comportements statiques et dynamiques, contextes séquentiels, concurrents et distribués

    Library buildings around the world

    Get PDF
    "Library Buildings around the World" is a survey based on researches of several years. The objective was to gather library buildings on an international level starting with 1990

    Economic and social change in the communities of the wetlands of Chobe and Ngamiland, with special reference to the period since 1960

    Get PDF
    Includes bibliographical references (leaves 230-276).This thesis explores how the interconnections between people, the economy and the environment shaped livelihoods in the wetlands of Chobe and Ngamiland from c.1870 to the recent past. Beginning in the 1870s with the arrival of European hunters and traders and the Declaration of the Bechuanaland Protectorate in 1885, the economic and social change among the peoples of this region are explored. It tracks the efforts of the colonial government to eradicate disease and establish the foundations of a cattle industry in this ecologically sensitive and economically marginal area leading up to independence in 1966. Then it examines the articulation of development strategies on the part of the independent government of Botswana and their application to the challenges of economic upliftment in the region of the north western wetlands

    An aspect oriented approach for security hardening : semantic foundations

    Get PDF
    Computer security is nowadays a very important field in computer science and security hardening of applications becomes of paramount importance. Aspect oriented programming (AOP) is a relatively new technology that allows separation of concerns such as security, synchronization, logging, etc. This increases the readability, understandability, maintainability, and security of software systems. Furthermore, AOP allows automatic injection of the crosscutting concerns into the application code using a weaving mechanism. This thesis comes to provide theoretical study of using AOP for security hardening of applications. The main contributions of this thesis are the following. We propose a comparative study of AOP approaches from a security perspective. We establish a security appropriateness analysis of AspectJ and we propose new security constructs for this language. Since aspects in AspectJ are weaved (combined) with the Java Virtual Machine Language (JVML) application code, we develop a formal semantics for the JVML. We propose also a semantics for AspectJ that formalizes the advice weaving. We develop a new AOP calculus, n_SAOP, based on lambda calculus extended with security pointcuts. Finally, we implement three new constructs in AspectJ, namely getLocal , setLocal , and dflow , for local variable accesses and data flow analysis. In conclusion, this thesis demonstrates the relevance, importance, and appropriateness of using the AOP programming paradigm in hardening the security of application

    Interim research assessment 2003-2005 - Computer Science

    Get PDF
    This report primarily serves as a source of information for the 2007 Interim Research Assessment Committee for Computer Science at the three technical universities in the Netherlands. The report also provides information for others interested in our research activities

    Animal History in the Modern City

    Get PDF
    Assembling an impressive cast of contributors, this volume employs liminality as a lens through which to study the social and cultural history of animals in the modern city. It includes a variety of case studies, such as the horse-human relationship in the towns of New Spain, hunting practices in 17th-century France, the birth of the zoo in Germany and the role of the stray dog in the Victorian city, demonstrating the interrelated nature of animal and human histories. This is a vital resource for scholars and students interested in animal studies, urban history and historical geography

    Remote Sensing of Earth Resources (1970 - 1973 supplement): A literature survey with indexes. Section 2: Indexes

    Get PDF
    Documents related to the identification and evaluation by means of sensors in spacecraft and aircraft of vegetation, minerals, and other natural resources, and the techniques and potentialities of surveying and keeping up-to-date inventories of such riches are cited. These documents were announced in the NASA scientific and technical information system between March 1970 and December 1973
    corecore