Sökning: "Composability"

Visar resultat 1 - 5 av 14 avhandlingar innehållade ordet Composability.

  1. 1. A Verification Framework for Component Based Modeling and Simulation : “Putting the pieces together”

    Författare :Imran Mahmood; Rassul Ayani; Gary Tan; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Modeling and Simulation; Component-based development; Composability; Semantic Composability; Dynamic-Semantic Composability; Verification; Correctness; Petri Nets Analysis; Algebraic Techniques; Colored Petri Nets; State-space Analysis; Communicating Sequential Processes; Model Checking.; SRA - ICT; SRA - Informations- och kommunikationsteknik;

    Sammanfattning : The discipline of component-based modeling and simulation offers promising gains including reduction in development cost, time, and system complexity. This paradigm is very profitable as it promotes the use and reuse of modular components and is auspicious for effective development of complex simulations. LÄS MER

  3. 2. On Composability, Efficient Design and Memory Reclamation of Lock-free Data Structures

    Författare :Dang Nhan Nguyen; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Mark-Compact; Garbage Collection; Composability; Multicore Programming; Non-blocking; Concurrent Data Structure; Synchronization; Lock-free; Mark-Split; NUMA; Parallel Garbage Collection;

    Sammanfattning : The transition to multicore processors has brought synchronization, a fundamental challenge in computer science, into focus. In looking for solutions to the problem, interest has developed in the lock-free approach, which has been proven to achieve several advantages over the traditional mutual exclusion approach. LÄS MER

  4. 3. A Framework for Component Based Modelling and Simulation using BOMs and Semantic Web Technology

    Författare :Farshad Moradi; Rassul Ayani; Axel Lehmann; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer science; Telecommunication theory; Telekommunikationsteori;

    Sammanfattning : Modelling and Simulation (M&S) is a multi-disciplinary field that is widely used in various domains. It provides a means to study complex systems before actual physical prototyping and helps lowering, amongst others, manufacturing and training costs. LÄS MER

  5. 4. Query Processing for Peer Mediator Databases

    Författare :Timour Katchaounov; Tore Risch; Tamer Özsu; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; data integration; mediators; query processing; Computer science; Datalogi;

    Sammanfattning : The ability to physically interconnect many distributed, autonomous and heterogeneous software systems on a large scale presents new opportunities for sharing and reuse of existing, and for the creataion of new information and new computational services. However, finding and combining information in many such systems is a challenge even for the most advanced computer users. LÄS MER

  7. 5. Electronic Cash and Hierarchical Group Signatures

    Författare :Mårten Trolin; Johan Håstad; Helger Lipmaa; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Sammanfattning : I denna avhandling presenteras resultat inom två områden – elektroniska betalningar och hierarkiska gruppsignaturer. • En starkare säkerhetsdefinition för digitala pengar presenteras med syfte att användare inte ska behöva lita på banken i samma utsträckning som för äldre definitioner. LÄS MER