Sökning: "Daniel Hedin"
Hittade 5 avhandlingar innehållade orden Daniel Hedin.
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
Sammanfattning : .... LÄS MER
2. Language Based Covert Channel Avoidance
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
3. Program Analysis Issues in Language Based Security
Sammanfattning : .... LÄS MER
4. Exploring Opportunistic Use of Mobile Devices for Studying in Higher Education
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
5. Demand-Driven Static Backward Program Slicing Based on Predicated Code Block Graphs
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