Sciweavers

    6308 search results - page 44 / 1262
    » Modeling Urgency in Timed Systems
    Sort
    View
    WACV
    2002
    IEEE
    222views Computer Vision» more  WACV 2002»
    Development and Analysis of a Real-Time Human Motion Tracking System
    15 years 2 months ago
    Development and Analysis of a Real-Time Human Motion Tracking System
    Download  inside.mines.edu
    This paper describes a method for tracking human body motion from multiple views in real-time. The method extracts silhouettes in each view using background subtraction, and then ...
    Jason P. Luck, Christian Debrunner, William Hoff, ...
    claim paper
    Read More »
    ADAEUROPE
    2008
    Springer
    68views Software Engineering» more  ADAEUROPE 2008»
    On the Timed Automata-Based Verification of Ravenscar Systems
    14 years 11 months ago
    On the Timed Automata-Based Verification of Ravenscar Systems
    Download  www-verimag.imag.fr
    The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
    Iulian Ober, Nicolas Halbwachs
    claim paper
    Read More »
    FORMATS
    2003
    Springer
    118views Formal Methods» more  FORMATS 2003»
    Analysis of Real Time Operating System Based Applications
    15 years 3 months ago
    Analysis of Real Time Operating System Based Applications
    Download  dce.felk.cvut.cz
    This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...
    Libor Waszniowski, Zdenek Hanzálek
    claim paper
    Read More »
    RTAS
    2006
    IEEE
    90views Embedded Systems» more  RTAS 2006»
    A Semantic Unit for Timed Automata Based Modeling Languages
    15 years 3 months ago
    A Semantic Unit for Timed Automata Based Modeling Languages
    Download  chess.eecs.berkeley.edu
    Kai Chen 0003, Janos Sztipanovits, Sherif Abdelwah...
    claim paper
    Read More »
    RTAS
    2005
    IEEE
    91views Embedded Systems» more  RTAS 2005»
    Towards Efficient Use of Shared Communication Media in the Timed Model
    15 years 3 months ago
    Towards Efficient Use of Shared Communication Media in the Timed Model
    Download  esg.uwaterloo.ca
    Guido Menkhaus, Michael Holzmann, Sebastian Fischm...
    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-2025, USA.