Sciweavers

    3914 search results - page 714 / 783
    » Automating SLA modeling
    Sort
    View
    CDC
    2010
    IEEE
    130views Control Systems» more  CDC 2010»
    Stability analysis of networked control systems: A sum of squares approach
    13 years 2 months ago
    Stability analysis of networked control systems: A sum of squares approach
    Download  www.mate.tue.nl
    This paper presents a sum of squares (SOS) approach to the stability analysis of networked control systems (NCSs) incorporating time-varying delays and time-varying transmission in...
    Nicolas William Bauer, Paul J. H. Maas, W. P. M. H...
    claim paper
    Read More »
    CORR
    2011
    Springer
    142views Education» more  CORR 2011»
    A Logical Method for Policy Enforcement over Evolving Audit Logs
    13 years 2 months ago
    A Logical Method for Policy Enforcement over Evolving Audit Logs
    Download  www.cs.cmu.edu
    We present an iterative algorithm for enforcing policies represented in a first-order logic, which can, in particular, express all transmission-related clauses in the HIPAA Priva...
    Deepak Garg, Limin Jia, Anupam Datta
    claim paper
    Read More »
    COLING
    2010
    122views Computational Linguistics» more  COLING 2010»
    YanFa: An Online Automatic Scoring and Intelligent Feedback System of Student English-Chinese Translation
    13 years 2 months ago
    YanFa: An Online Automatic Scoring and Intelligent Feedback System of Student English-Chinese Translation
    Download  aclweb.org
    Online learning calls for instant assessment and feedback. YanFa is a system developed to score online EnglishChinese translation exercises with intelligent feedback for Chinese n...
    Yan Tian
    claim paper
    Read More »
    SIMULATION
    2010
    178views more  SIMULATION 2010»
    Application-level Simulation for Network Security
    13 years 2 months ago
    Application-level Simulation for Network Security
    Download  www.dai-labor.de
    We introduce and describe a novel network simulation tool called NeSSi (Network Security Simulator). NeSSi incorporates a variety of features relevant to network security distingu...
    Stephan Schmidt, Rainer Bye, Joël Chinnow, Ka...
    claim paper
    Read More »
    TCAD
    2010
    102views more  TCAD 2010»
    Functional Test Generation Using Efficient Property Clustering and Learning Techniques
    13 years 2 months ago
    Functional Test Generation Using Efficient Property Clustering and Learning Techniques
    Download  www.cise.ufl.edu
    Abstract--Functional verification is one of the major bottlenecks in system-on-chip design due to the combined effects of increasing complexity and lack of automated techniques for...
    Mingsong Chen, Prabhat Mishra
    claim paper
    Read More »
    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.