Sciweavers

    15644 search results - page 237 / 3129
    » Brittle System Analysis
    Sort
    View
    CADE
    2010
    Springer
    261views Logical Reasoning» more  CADE 2010»
    Automating Security Analysis: Symbolic Equivalence of Constraint Systems
    15 years 7 months ago
    Automating Security Analysis: Symbolic Equivalence of Constraint Systems
    Download  www.lsv.ens-cachan.fr
    We consider security properties of cryptographic protocols, that are either trace properties (such as confidentiality or authenticity) or equivalence properties (such as anonymity ...
    Vincent Cheval, Hubert Comon-Lundh, Stéphan...
    claim paper
    Read More »
    CRISIS
    2009
    154views Security Privacy» more  CRISIS 2009»
    Formal analysis of attacks for e-voting system
    15 years 7 months ago
    Formal analysis of attacks for e-voting system
    Download  dit.unitn.it
    Komminist Weldemariam, Richard A. Kemmerer, Adolfo...
    claim paper
    Read More »
    ICAART
    2010
    INSTICC
    141views Intelligent Agents» more  ICAART 2010»
    Risk Analysis and Deployment Security Issues in a Multi-agent System
    15 years 7 months ago
    Risk Analysis and Deployment Security Issues in a Multi-agent System
    Download  lia.deis.unibo.it
    Ambra Molesini, Marco Prandini, Elena Nardini, Enr...
    claim paper
    Read More »
    AUTOMATICA
    2010
    129views more  AUTOMATICA 2010»
    Stability analysis for multi-agent systems using the incidence matrix: Quantized communication and formation control
    15 years 6 months ago
    Stability analysis for multi-agent systems using the incidence matrix: Quantized communication and formation control
    Download  www.s3.kth.se
    The spectral properties of the incidence matrix of the communication graph are exploited to provide solutions to two multiagent control problems. In particular, we consider the pr...
    Dimos V. Dimarogonas, Karl Henrik Johansson
    claim paper
    Read More »
    BELL
    2007
    56views more  BELL 2007»
    Design and analysis of an IEEE 802.16e-based OFDMA communication system
    15 years 6 months ago
    Design and analysis of an IEEE 802.16e-based OFDMA communication system
    Download  users.ipfw.edu
    Krishna Balachandran, Doru Calin, Fang-Chen Cheng,...
    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.