Search for dissertations about: "Computer model"

Showing result 1 - 5 of 1722 swedish dissertations containing the words Computer model.

  1. 1. Observations on Operating System Security Vulnerabilities

    University dissertation from Göteborg, Sweden

    Author : Stefan Lindskog; Karlstads universitet.; Karlstads universitet.; Chalmers tekniska högskola.; Chalmers University of Technology.; [2000]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Computer Science; Datavetenskap; computer security; operating system; vulnerability; intrusion; experiment; modeling; analysis;

    Abstract : This thesis presents research on computer security vulnerabilities in general-purpose operating systems. The objective is to investigate intrusions in such systems in order to find and model the underlying generic weaknesses, i.e., weaknesses that would be applicable to many different systems. READ MORE

  2. 2. Hierarchical Concurrent Systems from a Model-Oriented perspective

    University dissertation from Department of Computer Science, Lund University

    Author : Daniel Einarson; Lunds universitet.; Lund University.; [2002]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; control; systems; numerical analysis; Computer science; Distributed Systems; Hierarchical Systems; Object-Orientation; Model-Orientation; Datalogi; numerisk analys; system; kontroll; Systems engineering; computer technology; Data- och systemvetenskap;

    Abstract : Real world systems are normally considered as hierarchically organized, for example, we see those as hierarchies of systems including subsystems. Examples on this can be seen in organizations where people act in environments and carry within themselves their own internal subsystem of thinking processes. READ MORE

  3. 3. Scheduling Algorithms For Fault-Tolerant Real-Time Systems

    University dissertation from Chalmers University of Technology

    Author : Risat Mahmud Pathan; Chalmers tekniska högskola.; Chalmers University of Technology.; [2010]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Computer science; Datorteknik; Computer engineering; Real-Time Systems; Periodic Task Scheduling; Rate-Monotonic Scheduling; Uniprocessor; Multiprocessors; Fault-Tolerant Scheduling; Partitioned Scheduling; Task-Splitting Algorithms; Online Scheduling;

    Abstract : This thesis deals with the problem of designing efficient fault-tolerant real-time scheduling algorithms for independent periodic tasks on uni- and multiprocessor platforms. The well-known Rate-Monotonic (RM) scheduling algorithm is assumed as it is widely used in many commercial systems due to its simplicity and ease of implementation. READ MORE

  4. 4. Computer Science Project Courses Contrasting Students’ Experiences with Teachers’ Expectations

    University dissertation from Uppsala : Acta Universitatis Upsaliensis

    Author : Mattias Wiggberg; Uppsala universitet.; Uppsala universitet.; [2010]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; computer science education; computer science student projects; computer science projects; computer science education research; phenomenography; learning; higher education; communities of practice; capstone projects; constructivism; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap; Datavetenskap med inriktning mot datavetenskapens didaktik; Computer Science with specialization in Computer Science Education Research;

    Abstract : Including small or large project courses is widely recognized as important in preparing computer science students for a professional career. Typical examples are the capstone courses, which often are seen as the jewel in the crown since this is where students will bring their previous knowledge and skills together to show mastery of their craft. READ MORE

  5. 5. Symbolic Supervisory Control of Resource Allocation Systems

    University dissertation from Chalmers University of Technology

    Author : Zhennan Fei; Chalmers tekniska högskola.; Chalmers University of Technology.; [2014]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Supervisory Control Theory; Discrete Event System; Resource Allocation System; Binary Decision Diagram.;

    Abstract : Supervisory control theory (SCT) is a formal model-based methodology for verification and synthesis of supervisors for discrete event systems (DES). The main goal is to guarantee that the closed-loop system fulfills given specifications. SCT has great promise to assist engineers with the generation of reliable control functions. READ MORE