Sciweavers

    7380 search results - page 1456 / 1476
    » time 2008
    Sort
    View
    74
    Voted
    FMSB
    2008
    142views Formal Methods» more  FMSB 2008»
    Generic Reactive Animation: Realistic Modeling of Complex Natural Systems
    14 years 11 months ago
    Generic Reactive Animation: Realistic Modeling of Complex Natural Systems
    Download  www.wisdom.weizmann.ac.il
    Abstract. Natural systems, such as organs and organisms, are largescale complex systems with numerous elements and interactions. Modeling such systems can lead to better understand...
    David Harel, Yaki Setty
    claim paper
    Read More »
    FOSSACS
    2008
    Springer
    109views Software Engineering» more  FOSSACS 2008»
    Erasure and Polymorphism in Pure Type Systems
    14 years 11 months ago
    Erasure and Polymorphism in Pure Type Systems
    Download  web.cecs.pdx.edu
    We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
    Nathan Mishra-Linger, Tim Sheard
    claim paper
    Read More »
    FSE
    2008
    Springer
    143views Cryptology» more  FSE 2008»
    Algebraic and Slide Attacks on KeeLoq
    14 years 11 months ago
    Algebraic and Slide Attacks on KeeLoq
    Download  www.eecs.berkeley.edu
    KeeLoq is a block cipher used in wireless devices that unlock the doors and alarms in cars manufactured by Chrysler, Daewoo, Fiat, GM, Honda, Jaguar, Toyota, Volvo, Volkswagen, etc...
    Nicolas Courtois, Gregory V. Bard, David Wagner
    claim paper
    Read More »
    ICWS
    2008
    IEEE
    114views Internet Technology» more  ICWS 2008»
    A Framework for Verifying SLA Compliance in Composed Services
    14 years 11 months ago
    A Framework for Verifying SLA Compliance in Composed Services
    Download  post.queensu.ca
    Service level agreements (SLAs) impose many nonfunctional requirements on services. Business analysts specify and check these requirements in business process models using tools s...
    Hua Xiao, Brian Chan, Ying Zou, Jay W. Benayon, Bi...
    claim paper
    Read More »
    SDM
    2008
    SIAM
    177views Data Mining» more  SDM 2008»
    Practical Private Computation and Zero-Knowledge Tools for Privacy-Preserving Distributed Data Mining
    14 years 11 months ago
    Practical Private Computation and Zero-Knowledge Tools for Privacy-Preserving Distributed Data Mining
    Download  www.cs.berkeley.edu
    In this paper we explore private computation built on vector addition and its applications in privacypreserving data mining. Vector addition is a surprisingly general tool for imp...
    Yitao Duan, John F. Canny
    claim paper
    Read More »
    « Prev « First page 1456 / 1476 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-2025, USA.