Sökning: "Type Systems"

Visar resultat 21 - 25 av 2232 avhandlingar innehållade orden Type Systems.

  1. 21. Development of a new service-oriented modelling method for information systems analysis and design

    Författare :Prima Gustiené; Anders G Nilsson; Sten Carlsson; William Wei Song; Karlstads universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Information systems analysis and design; conceptual modeling; service orientation; semantic integrity; static and dynamic aspects; goal modeling.; Informatics; Informatik; Information Systems; Informatik;

    Sammanfattning : This thesis presents a new modelling method for information systems analysis and design, where the concept of service and the principles of service orientation are used for integrated modelling and reasoning about information systems architectures across organisational and technical systems boundaries. The concept of service enables cohesion of the intersubjective and objective modelling traditions by using a single type of diagram that facilitates detection of semantic inconsistency, incompleteness, ambiguity and discontinuity between the static and dynamic aspects of information systems specifications. LÄS MER

  3. 22. Optimal Scheduling for Timely Information in Communication Systems

    Författare :Ghafour Ahani; Di Yuan; Andreas Kassler; Uppsala universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; scheduling; optimization; communication systems; timely information;

    Sammanfattning : The explosive growth of data in information society poses significant challenges in the timely delivery of information in the context of communication networks. Hence, optimal utilization of scarce network resources is crucial. LÄS MER

  4. 23. Type 2 myocardial infarction : Aspects of diagnosis, prognosis and treatment

    Författare :Anton Gard; Bertil Lindahl; Tomasz Baron; Hans Mickley; Uppsala universitet; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Myocardial infarction; type 2 myocardial infarction; myocardial injury; Cardiology; Kardiologi;

    Sammanfattning : Unlike the coronary thromboembolic type 1 myocardial infarction (MI), a type 2 MI occurs secondary to other conditions causing an imbalance in myocardial oxygen supply and demand. Type 2 MI is associated with high mortality and evidence based treatment is lacking. LÄS MER

  5. 24. Expressing emotions through vibration for perception and control

    Författare :Shafiq ur Réhman; Li Liu; Xiaoyi Jiang; Umeå universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Multimodal Signal Processing; Mobile Communication; Vibrotactile Rendering; Locally Linear Embedding; Object Detection; Human Facial Expression Analysis; Lip Tracking; Object Tracking; HCI; Expectation-Maximization Algorithm; Lipless Tracking; Image Analysis; Visually Impaired.; Signal processing; Signalbehandling; Image analysis; Bildanalys; Computer science; Datavetenskap; Telecommunication; Telekommunikation; Systems engineering; Systemteknik; datoriserad bildanalys; Computerized Image Analysis; business data processing; administrativ databehandling; Electronics; elektronik; Systems Analysis; systemanalys;

    Sammanfattning : This thesis addresses a challenging problem: “how to let the visually impaired ‘see’ others emotions”. We, human beings, are heavily dependent on facial expressions to express ourselves. A smile shows that the person you are talking to is pleased, amused, relieved etc. LÄS MER

  7. 25. Language-based Approaches to Safe and Efficient Distributed Programming

    Författare :Xin Zhao; Philipp Haller; Roberto Guanciale; Wolfgang De Meuter; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Programming languages; Distributed systems; Type system; Replicated data types; Computer Science; Datalogi;

    Sammanfattning : Distributed systems address the increasing demand for fast access to resources and fault tolerance for data. Strong consistency ensures that all clients observe consistent data updates atomically on all servers in a distributed system, and it is widely used in systems such as relational databases. LÄS MER