Search for dissertations about: "Paul Pettersson"

Showing result 1 - 5 of 18 swedish dissertations containing the words Paul Pettersson.

  2. 1. Modelling and Verification of Real-Time Systems Using Timed Automata : Theory and Practice

    Author : Paul Pettersson; Wang Yi; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Abstract : During the last decade, model-checking techniques for the verification of timed system have been developed baaed on the theory of timed automata. The practical limitation in applying these techniques to industrial-size systems is the huge amount of time and memory needed to explore and store the state-space of the system model. READ MORE

  4. 2. Biomarkers of vascular function and structure in young healthy adults

    Author : Paul Pettersson-Pablo; Anita Hurtig-Wennlöf; Torbjörn Nilsson; Lars Breimer; Anders Larsson; Örebro universitet; []
    Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; atherosclerosis; vascular function; vascular structure; body composition; age; inflammation; clinical chemistry; biomarker;

    Abstract : Atherosclerosis is a disease affecting the blood vessels in the body. Its pathophysiologic mechanisms involve infiltration of the vessel walls by fatty matter and immune cells. This process is slow, starting in childhood but typically not manifesting as symptomatic disease until late adulthood (after 60 years of age). READ MORE

  5. 3. Modeling Genome Evolution : Creation, Change and Destruction

    Author : Mats Pettersson; Otto Berg; Paul Sniegowski; Uppsala universitet; []
    Keywords : Molecular biology; Theotretical biology; Population genetics; Stochastic modeling; Genome evolution; Molekylärbiologi;

    Abstract : Historically, evolution has been studied either by looking at morphological traits in living organisms and the fossil record, or by using bioinformatics and comparative genomics. While highly useful for deducing evolutionary history, these approaches are not particularly well suited for studying the mechanisms of evolution. READ MORE

  6. 4. Methods and Tool Support for Analyzing Architectural Models of Embedded Systems

    Author : Stefan Björnander; Paul Pettersson; Kristina Lundqvist; Cristina Seceleanu; Ingo Sander; Mälardalens högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

    Abstract : Embedded systems are ubiquitous in the modern world. They are microcomputers most often included incomplete devices consisting of software and hardware. Embedded systems range from small devices to large systems monitoring and controlling complex processes. READ MORE

  7. 5. Formal Approaches for Behavioral Modeling and Analysis of Design-time Services and Service Negotiations

    Author : Aida Čaušević; Paul Pettersson; Cristina Seceleanu; Ina Schieferdecker; Mälardalens högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Service-Oriented Systems; Formal modeling and Analysis; Service; Service Composition; Service Negotiation; Computer Science; datavetenskap;

    Abstract : During the past decade service-orientation has become a popular design paradigm, offering an approach in which services are the functional building blocks. Services are self-contained units of composition, built to be invoked, composed, and destroyed on (user) demand. READ MORE