Sciweavers

    5525 search results - page 175 / 1105
    » Verification of Model Transformations
    Sort
    View
    MCM
    2010
    93views Applied Computing» more  MCM 2010»
    Time series AR modeling with missing observations based on the polynomial transformation
    14 years 10 months ago
    Time series AR modeling with missing observations based on the polynomial transformation
    Download  www.ece.ualberta.ca
    Jie Ding, Lili Han, Xiaoming Chen
    claim paper
    Read More »
    167
    Voted
    ENASE
    2011
    227views Hardware» more  ENASE 2011»
    Transforming Attribute and Clone-enabled Feature Models into Constraint Programs over Finite Domains
    14 years 3 months ago
    Transforming Attribute and Clone-enabled Feature Models into Constraint Programs over Finite Domains
    Download  cri-dist.univ-paris1.fr
    Raúl Mazo, Camille Salinesi, Daniel Diaz, A...
    claim paper
    Read More »
    97
    Voted
    PKC
    2012
    Springer
    182views Cryptology» more  PKC 2012»
    From Selective to Full Security: Semi-generic Transformations in the Standard Model
    13 years 6 months ago
    From Selective to Full Security: Semi-generic Transformations in the Standard Model
    Download  www.di.ens.fr
    Michel Abdalla, Dario Fiore, Vadim Lyubashevsky
    claim paper
    Read More »
    CADE
    2007
    Springer
    88views Logical Reasoning» more  CADE 2007»
    A History-based Verification of Distributed Applications
    16 years 3 months ago
    A History-based Verification of Distributed Applications
    Download  ftp.informatik.rwth-aachen.de
    Safety and security guarantees for individual applications in general depend on assumptions on the given context provided by distributed instances of operating systems, hardware pl...
    Bruno Langenstein, Andreas Nonnengart, Georg Rock,...
    claim paper
    Read More »
    114
    Voted
    WETICE
    2006
    IEEE
    93views Emerging Technology» more  WETICE 2006»
    Security Verification Techniques Applied to PatchLink COTS Software
    15 years 9 months ago
    Security Verification Techniques Applied to PatchLink COTS Software
    Download  nob.cs.ucdavis.edu
    Verification of the security of software artifacts is a challenging task. An integrated approach that combines verification techniques can increase the confidence in the security ...
    David P. Gilliam, John D. Powell, Matt Bishop, Chr...
    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.