Search for dissertations about: "Computer and systems science"

Showing result 6 - 10 of 1667 swedish dissertations containing the words Computer and systems science.

  2. 6. Co-Creators of Scope of Action : An exploration of the dynamic relationship between people, IT, and work in a nursing context

    Author : Veronica Köhler; Högskolan Väst; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; TEKNIK OCH TEKNOLOGIER; NATURAL SCIENCES; ENGINEERING AND TECHNOLOGY; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Industrial engineering and economy; Industriell teknik och ekonomi; Computer science; Datavetenskap; Economics; Nationalekonomi; Datateknik; Computer engineering; Computer and Systems Science; Data- och systemvetenskap;

    Abstract : Information Technology (IT) is today widespread in our work places, in our spare time and in our society overall. Implementations of IT in organizations come with high expectations on effectiveness, revenue, smoother work processes and so on. READ MORE

  4. 7. Aspect-Oriented Business Process Management

    Author : Amin Jalali; Paul Johannesson; Flávia Maria Santoro; Stockholms universitet; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; TEKNIK OCH TEKNOLOGIER; NATURAL SCIENCES; ENGINEERING AND TECHNOLOGY; Computer and Systems Sciences; data- och systemvetenskap;

    Abstract : Separation of concerns has long been considered an effective and efficient strategy to deal with complexity in information systems.One sort of concern, like security and privacy, crosses over other concerns in a system. Such concerns are called cross-cutting concerns. READ MORE

  5. 8. Highway Traffic State Estimation and Short-term Prediction

    Author : Andreas Allström; Jan Lundgren; Clas Rydergren; Balázs Adam Kulcsár; Linköpings universitet; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; NATURVETENSKAP; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; SAMHÄLLSVETENSKAP; NATURAL SCIENCES; ENGINEERING AND TECHNOLOGY; ENGINEERING AND TECHNOLOGY; SOCIAL SCIENCES;

    Abstract : Traffic congestion is increasing in almost all large cities, leading to a number of negative effects such as pollution and delays. However, building new roads is not a feasible solution. Instead, the use of the existing road network has to be optimized, together with a shift towards more sustainable transport modes. READ MORE

  6. 9. Parameterized Systems : Generalizing and Simplifying Automatic Verification

    Author : Ahmed Rezine; Parosh Aziz Abdulla; Kedar Namjoshi; Uppsala universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Parameterized systems; Automatic verification; Approximation; Regular model checking; Safety; Termination; Computer science; Datavetenskap; Datavetenskap; Computer Science;

    Abstract : In this thesis we propose general and simple methods for automatic verification of parameterized systems. These are systems consisting of an arbitrary number of identical processes or components. The number of processes defines the size of the system. READ MORE

  7. 10. Efficient Modelling and Synthesis of Data Intensive Reconfigurable Systems

    Author : Per Andersson; Institutionen för datavetenskap; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; kontroll; Systems engineering; numerisk analys; system; control; Datalogi; numerical analysis; systems; Data Flow Graphs; Data Flow Modlling; computer technology; Data- och systemvetenskap; Computer science; Hardware Compilation; Synthesis;

    Abstract : Digital systems are integrated in our environment and have become a natural part of our every day life. As we rely more on these systems our expectations on them increases. We expect them to perform new tasks, communicate and cooperate. The complexity of these systems are increasing. READ MORE