Sciweavers

    5252 search results - page 1016 / 1051
    » Logic in Access Control
    Sort
    View
    HYBRID
    2010
    Springer
    168views Control Systems» more  HYBRID 2010»
    Safe compositional network sketches: formal framework
    14 years 3 months ago
    Safe compositional network sketches: formal framework
    Download  www.cs.bu.edu
    NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
    Azer Bestavros, Assaf J. Kfoury, Andrei Lapets, Mi...
    claim paper
    Read More »
    ISCA
    2010
    IEEE
    192views Hardware» more  ISCA 2010»
    NoHype: virtualized cloud infrastructure without the virtualization
    14 years 3 months ago
    NoHype: virtualized cloud infrastructure without the virtualization
    Download  www.cs.princeton.edu
    Cloud computing is a disruptive trend that is changing the way we use computers. The key underlying technology in cloud infrastructures is virtualization – so much so that many ...
    Eric Keller, Jakub Szefer, Jennifer Rexford, Ruby ...
    claim paper
    Read More »
    ISCA
    2010
    IEEE
    284views Hardware» more  ISCA 2010»
    Security refresh: prevent malicious wear-out and increase durability for phase-change memory with dynamically randomized address
    14 years 3 months ago
    Security refresh: prevent malicious wear-out and increase durability for phase-change memory with dynamically randomized address
    Download  arch.ece.gatech.edu
    Phase change memory (PCM) is an emerging memory technology for future computing systems. Compared to other non-volatile memory alternatives, PCM is more matured to production, and...
    Nak Hee Seong, Dong Hyuk Woo, Hsien-Hsin S. Lee
    claim paper
    Read More »
    CF
    2010
    ACM
    138views Applied Computing» more  CF 2010»
    Load balancing using dynamic cache allocation
    14 years 3 months ago
    Load balancing using dynamic cache allocation
    Download  www.cs.man.ac.uk
    Supercomputers need a huge budget to be built and maintained. To maximize the usage of their resources, application developers spend time to optimize the code of the parallel appl...
    Miquel Moretó, Francisco J. Cazorla, Rizos ...
    claim paper
    Read More »
    ACSAC
    2002
    IEEE
    115views Security Privacy» more  ACSAC 2002»
    A Practical Approach to Identifying Storage and Timing Channels: Twenty Years Later
    14 years 2 months ago
    A Practical Approach to Identifying Storage and Timing Channels: Twenty Years Later
    Download  www.acsac.org
    Secure computer systems use both mandatory and discretionary access controls to restrict the flow of information through legitimate communication channels such as files, shared ...
    Richard A. Kemmerer
    claim paper
    Read More »
    « Prev « First page 1016 / 1051 Last » Next »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.