Search for dissertations about: "Computer and systems science"

Showing result 36 - 40 of 1664 swedish dissertations containing the words Computer and systems science.

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

    Author : Daniel Einarson; Data Vetenskap; []
    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

  4. 37. Cryptographic Tools for Privacy Preservation

    Author : Carlo Brunetta; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Outsourced Computation; Verifiability; Cryptography; Privacy; Cloud Computing;

    Abstract : Data permeates every aspect of our daily life and it is the backbone of our digitalized society. Smartphones, smartwatches and many more smart devices measure, collect, modify and share data in what is known as the Internet of Things. READ MORE

  5. 38. On Falsification of Large-Scale Cyber-Physical Systems

    Author : Johan Lidén Eddeland; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Test Coverage; Testing; Optimization; Simulation-Based Verification; Formal Requirements; Cyber-Physical Systems; Falsification;

    Abstract : In the development of modern Cyber-Physical Systems, Model-Based Testing of the closed-loop system is an approach for finding potential faults and increasing quality of developed products. Testing is done on many different abstraction levels, and for large-scale industrial systems, there are several challenges. READ MORE

  6. 39. Analysis of Travel Patterns from Cellular Network Data

    Author : Nils Breyer; Clas Rydergren; David Gundlegård; Győző Gidófalvi; Linköpings universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : Traffic planners are facing a big challenge with an increasing demand for mobility and a need to drastically reduce the environmental impacts of the transportation system at the same time. The transportation system therefore needs to become more efficient, which requires a good understanding about the actual travel patterns. READ MORE

  7. 40. Understanding Software Design for Creating Better Design Environments

    Author : Rodi Jolak; Göteborgs universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Software Engineering; Software Modeling; Design Effort; Software Design Environments; UML; Empirical Software Engineering;

    Abstract : Context: Software design is considered an essential activity to analyze software requirements in order to produce a description of the software's internal structure that will serve as the basis for its construction. Models are a means to describe complex systems at several levels of abstraction and from a diversity of perspectives. READ MORE