Sökning: "number systems"

Visar resultat 6 - 10 av 3526 avhandlingar innehållade orden number systems.

  1. 6. Enhancing Trust in Devices and Transactions of the Internet of Things

    Författare :Christos Profentzas; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Secure Boot; Distributed Systems; Blockchain; Embedded Systems; Smart Contracts; Internet of Things;

    Sammanfattning : With the rise of the Internet of Things (IoT), billions of smart embedded devices will interact frequently. These interactions will produce billions of transactions. With IoT, users can utilize their phones, home appliances, wearables, or any other wireless embedded device to conduct transactions. LÄS MER

  3. 7. On the Design and Analysis of Consensus Protocols for Automotive Electronic Systems

    Författare :Negin Fathollah Nejad Asl; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Communication Failures; Consensus; Distributed Algorithms; Automotive Systems; Probabilistic Analysis;

    Sammanfattning : This thesis deals with the fundamental problem of reaching agreement on a value in a distributedcomputing system in the presence of faults. We address this problem in the contextof safety-critical distributed automotive applications, such as virtual traffic lights. LÄS MER

  4. 8. Implementation Methodology in Action : A Study of an Enterprise Systems Implementation Methodology

    Författare :Daniela Mihailescu; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Enterprise Systems; implementation methodology; AcceleratedSAP; Implementation methodology; Action framework; Software engineering; Programvaruteknik; Economic Information Systems; Ekonomiska informationssystem; Informatics;

    Sammanfattning : Enterprise Systems create new opportunities but also new challenges and difficulties for implementers and users. The clear distinction between the development and the implementation of Enterprise Systems Software seems to influence not only the characteristics of methodologies but also how implementers use the Enterprise Systems implementation methodologies. LÄS MER

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

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

    Sammanfattning : 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. LÄS MER

  7. 10. Method rationale revealed : communication of knowledge in systems development methods

    Författare :Kai Wistrand; Åke Grönlund; Nancy Russo; Örebro universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Systems development; Systems development methods; Method rationale; Method components; Method engineering; Informatics; computer and systems science; Informatik; data- och systemvetenskap; Informatics; Informatik; Informatics; Informatik;

    Sammanfattning : The practice of developing information systems with the support of information systems development methods is not new. A vast number of systems development methods have been suggested over the years in an attempt to solve the problems a development organisation might encounter. LÄS MER