Sciweavers

    157 search results - page 9 / 32
    » Formal Modeling and Analysis of Hybrid Systems: A Case Study...
    Sort
    View
    ICFEM
    1998
    Springer
    115views Software Engineering» more  ICFEM 1998»
    A Process Algebra Based Verification of a Production System
    14 years 24 days ago
    A Process Algebra Based Verification of a Production System
    Download  www.win.tue.nl
    Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
    J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers
    claim paper
    Read More »
    JAR
    2008
    115views more  JAR 2008»
    Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks
    13 years 8 months ago
    Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks
    Download  www.cs.unibo.it
    The spreading of multicast technology enables the development of group communication and so dealing with digital streams becomes more and more common over the Internet. Given the f...
    Roberto Gorrieri, Fabio Martinelli, Marinella Petr...
    claim paper
    Read More »
    RTS
    2008
    131views more  RTS 2008»
    Formal verification of multitasking applications based on timed automata model
    13 years 8 months ago
    Formal verification of multitasking applications based on timed automata model
    Download  dce.felk.cvut.cz
    The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
    Libor Waszniowski, Zdenek Hanzálek
    claim paper
    Read More »
    ICTAC
    2005
    Springer
    118views Applied Computing» more  ICTAC 2005»
    The Timer Cascade: Functional Modelling and Real Time Calculi
    14 years 2 months ago
    The Timer Cascade: Functional Modelling and Real Time Calculi
    Download  csd.informatik.uni-oldenburg.de
    Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...
    Raymond T. Boute, Andreas Schäfer
    claim paper
    Read More »
    ENDM
    2000
    174views more  ENDM 2000»
    Hybrid Constraints in Automated Model Synthesis and Model Processing
    13 years 8 months ago
    Hybrid Constraints in Automated Model Synthesis and Model Processing
    Download  www.uni-weimar.de
    Both parametric design tasks and analysis tasks of technical systems have a similar problem setting: The structure of the system to be configured or analyzed is defined already. W...
    Klaus-Ulrich Leweling, Benno Stein
    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.