Sciweavers

    877 search results - page 5 / 176
    » Model Based Development of Safety-Critical Systems Using Tem...
    Sort
    View
    HCI
    2009
    161views Human Computer Interaction» more  HCI 2009»
    High-Fidelity Prototyping of Interactive Systems Can Be Formal Too
    13 years 5 months ago
    High-Fidelity Prototyping of Interactive Systems Can Be Formal Too
    Download  smv.unige.ch
    The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
    Philippe A. Palanque, Jean-François Ladry, ...
    claim paper
    Read More »
    ICCV
    1995
    IEEE
    189views Computer Vision» more  ICCV 1995»
    Facial Expression Recognition Using a Dynamic Model and Motion Energy
    13 years 11 months ago
    Facial Expression Recognition Using a Dynamic Model and Motion Energy
    Download  reference.kfupm.edu.sa
    Previous efforts at facial expression recognition have been based on the Facial Action Coding System (FACS), a representation developed in order to allow human psychologists to co...
    Irfan A. Essa, Alex Pentland
    claim paper
    Read More »
    ENTCS
    2007
    98views more  ENTCS 2007»
    Frameworks Based on Templates for Rigorous Model-driven Development
    13 years 7 months ago
    Frameworks Based on Templates for Rigorous Model-driven Development
    Download  www-users.cs.york.ac.uk
    The engineering of systems that are acceptably correct is a hard problem. On the one hand, semi-formal modelling approaches that are used in practical, large-scale system developm...
    Nuno Amálio, Fiona Polack, Susan Stepney
    claim paper
    Read More »
    WSC
    2004
    82views Modeling And Simulation» more  WSC 2004»
    A Template-Based Conceptual Modeling Infrastructure for Simulation of Physical Security Systems
    13 years 9 months ago
    A Template-Based Conceptual Modeling Infrastructure for Simulation of Physical Security Systems
    Download  www.informs-sim.org
    Although simulation is one of the most innovative and cost-effective tools for modeling and analyzing a system, simulation studies often fail to provide any useful results. One re...
    Ashu Guru, Paul A. Savory
    claim paper
    Read More »
    ECRTS
    2005
    IEEE
    120views Embedded Systems» more  ECRTS 2005»
    Automated Model-Based Generation of Ravenscar-Compliant Source Code
    14 years 1 months ago
    Automated Model-Based Generation of Ravenscar-Compliant Source Code
    Download  www.math.unipd.it
    Graphical languages of various sorts are increasingly used for the specification and the design of high-integrity real-time systems. Their coverage however does not extend with a...
    Matteo Bordin, Tullio Vardanega
    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.