Sökning: "daniel hedin"

Hittade 5 avhandlingar innehållade orden daniel hedin.

  1. 1. Examen quæstionis annon gravitas corporum coelestium mutua ante Newtonum nota fuerit quod ... præside Mag. Daniele Melander .. specimine academico publice instituendum proponit S. R. M. alumnus Sveno Gabriel Hedin Nericius in Aud. Gustav. d. XXV. Mart. anni MDCCLXIX horis ante meridiem solitis

    Författare :Daniel Melanderhielm; Sveno Gabriel Hedin; Daniel Melanderhielm; Uppsala universitet; []
    Nyckelord :;

    Sammanfattning : .... LÄS MER

  3. 2. Language Based Covert Channel Avoidance

    Författare :Daniel Hedin; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Common protection mechanisms fail to provide end-to-end security; programs with legitimate access to secret information are not prevented from leaking this to the world by accident or malice. Protecting the access to information is not enough to solve this problem. We have to ensure that the program uses the information in a secure way. LÄS MER

  4. 3. Program Analysis Issues in Language Based Security

    Författare :Daniel Hedin; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : .... LÄS MER

  5. 4. Exploring Opportunistic Use of Mobile Devices for Studying in Higher Education

    Författare :Hedin Björn; Stefan Hrastinski; Olle Bälter; Daniel Pargman; Urban Nuldén; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; mobile learning; e-learning; mobility; atudying; higher education; Media Technology; Medieteknik;

    Sammanfattning : Students today often feel that they have too much to do and too little time. A common strategy to remedy this is to take advantage of opportunities to use “inter-time”, the time between other activities such as waiting or traveling. LÄS MER

  7. 5. Demand-Driven Static Backward Program Slicing Based on Predicated Code Block Graphs

    Författare :Husni Khanfar; Björn Lisper; Hans Hansson; Saad Mubeen; Daniel Hedin; Welf Löwe; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Static Program Analysis; Static Program Slicing; Control Dependency;

    Sammanfattning : Static backward program slicing is a technique to compute the set of program statements, predicates and inputs that might affect the value of a particular variable at a program location. The importance of this technique comes from being an essential part of many critical areas such as program maintenance, testing, verification, debugging, among others. LÄS MER