Sciweavers

    29172 search results - page 427 / 5835
    » Modeling Systems in CLP
    Sort
    View
    CONCUR
    2008
    Springer
    145views Distributed And Parallel Com...» more  CONCUR 2008»
    Modeling Computational Security in Long-Lived Systems
    15 years 9 months ago
    Modeling Computational Security in Long-Lived Systems
    Download  www.cs.cmu.edu
    Abstract. For many cryptographic protocols, security relies on the assumption that adversarial entities have limited computational power. This type of security degrades progressive...
    Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nan...
    claim paper
    Read More »
    CRITIS
    2008
    99views Security Privacy» more  CRITIS 2008»
    Modeling and Simulation of Complex Interdependent Systems: A Federated Agent-Based Approach
    15 years 9 months ago
    Modeling and Simulation of Complex Interdependent Systems: A Federated Agent-Based Approach
    Download  critis08.dia.uniroma3.it
    Emiliano Casalicchio, Emanuele Galli, Salvatore Tu...
    claim paper
    Read More »
    GIS
    2007
    ACM
    130views Automated Reasoning» more  GIS 2007»
    Near-real time motion analysis for APLIS 2007: a systems modeling perspective
    15 years 9 months ago
    Near-real time motion analysis for APLIS 2007: a systems modeling perspective
    Download  vims.cis.udel.edu
    Mani Thomas, Chandra Kambhamettu, Cathleen A. Geig...
    claim paper
    Read More »
    ECMDAFA
    2008
    Springer
    76views Hardware» more  ECMDAFA 2008»
    Model-Driven Simulation of a Maritime Surveillance System
    15 years 9 months ago
    Model-Driven Simulation of a Maritime Surveillance System
    Download  www.monperrus.net
    Martin Monperrus, Fabre Jaozafy, Gabriel Marchalot...
    claim paper
    Read More »
    FMCAD
    2008
    Springer
    78views Formal Methods» more  FMCAD 2008»
    Model Checking Nash Equilibria in MAD Distributed Systems
    15 years 9 months ago
    Model Checking Nash Equilibria in MAD Distributed Systems
    Download  www.cs.utexas.edu
    Federico Mari, Igor Melatti, Ivano Salvo, Enrico T...
    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.