Sciweavers

    15421 search results - page 264 / 3085
    » Dependability
    Sort
    View
    IEEEARES
    2007
    IEEE
    114views Security Privacy» more  IEEEARES 2007»
    Building a Dependable Messaging Infrastructure for Electronic Government
    16 years 1 months ago
    Building a Dependable Messaging Infrastructure for Electronic Government
    Download  www.iist.unu.edu
    Elsa Estevez, Tomasz Janowski
    claim paper
    Read More »
    IPPS
    2007
    IEEE
    143views Distributed And Parallel Com...» more  IPPS 2007»
    Formal Analysis of Time-Dependent Cryptographic Protocols in Real-Time Maude
    16 years 1 months ago
    Formal Analysis of Time-Dependent Cryptographic Protocols in Real-Time Maude
    Download  folk.uio.no
    This paper investigates the suitability of applying the general-purpose Real-Time Maude tool to the formal specification and model checking analysis of timedependent cryptographi...
    Peter Csaba Ölveczky, Martin Grimeland
    claim paper
    Read More »
    IPPS
    2007
    IEEE
    116views Distributed And Parallel Com...» more  IPPS 2007»
    Period-Dependent Initial Values for Exact Schedulability Test of Rate Monotonic Systems
    16 years 1 months ago
    Period-Dependent Initial Values for Exact Schedulability Test of Rate Monotonic Systems
    Download  www.cecs.uci.edu
    Real-time systems using Rate Monotonic fixed priority scheduling can be checked for schedulability either by pessimistic schedulability conditions or exact testing. Exact testing ...
    Wan-Chen Lu, Kwei-Jay Lin, Hsin-Wen Wei, Wei Kuan ...
    claim paper
    Read More »
    IPPS
    2007
    IEEE
    107views Distributed And Parallel Com...» more  IPPS 2007»
    Weaving Atomicity Through Dynamic Dependence Tracking
    16 years 1 months ago
    Weaving Atomicity Through Dynamic Dependence Tracking
    Download  www.cecs.uci.edu
    Suresh Jagannanthan
    claim paper
    Read More »
    ISCC
    2007
    IEEE
    92views Communications» more  ISCC 2007»
    Analysis of Load Dependency of Handover Strategies in Mobile Multiaccess Ambient Networks
    16 years 29 days ago
    Analysis of Load Dependency of Handover Strategies in Mobile Multiaccess Ambient Networks
    Download  ipv6.willab.fi
    Wireless operators incorporate multiradio access technologies aiming at expanding their customer base and benefiting from synergies of existing and planned infrastructure. The res...
    Petteri Pöyhönen, Daniel Hollos, Haitao ...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.