Sciweavers

    2107 search results - page 364 / 422
    » b 2007
    Sort
    View
    EPK
    2007
    201views Management» more  EPK 2007»
    Verarbeitung von ARIS-EPK-Modellen im Eclipse Modeling Framework
    13 years 11 months ago
    Verarbeitung von ARIS-EPK-Modellen im Eclipse Modeling Framework
    Download  sunsite.informatik.rwth-aachen.de
    : Die Architektur integrierter Informationssysteme (ARIS) ist ein technischer Raum f¨ur den Bereich des Gesch¨aftsprozessmanagements. Ein wesentlicher Bestandteil von ARIS ist de...
    Heiko Kern, Stefan Kühne
    claim paper
    Read More »
    IIWAS
    2007
    123views Internet Technology» more  IIWAS 2007»
    User Data Privacy in Web Services Context Using Semantic Desktop - SemanticLIFE Case Study
    13 years 11 months ago
    User Data Privacy in Web Services Context Using Semantic Desktop - SemanticLIFE Case Study
    Download  publik.tuwien.ac.at
    The growing number of Web Services technologies and their use have revolutionized the web. Web Services will play an important role in the next web generation (i.e. Semantic Web) ...
    Mansoor Ahmed, Amin Andjomshoaa, A. Min Tjoa
    claim paper
    Read More »
    MBEES
    2007
    127views Embedded Systems» more  MBEES 2007»
    Das MATE Projekt - visuelle Spezifikation von MATLAB Simulink/Stateflow Analysen und Transformationen
    13 years 11 months ago
    Das MATE Projekt - visuelle Spezifikation von MATLAB Simulink/Stateflow Analysen und Transformationen
    Download  www.ichmaschine.de
    : Die modellbasierte Entwicklung beginnt sich als Standardparadigma in der Steuergerätesoftwareentwicklung zu etablieren. Um die Wirksamkeit und Effizienz der modellbasierten Entw...
    Ingo Stürmer, Heiko Dörr, Holger Giese, ...
    claim paper
    Read More »
    PLANX
    2007
    117views Programming Languages» more  PLANX 2007»
    XML Transformation Language Based on Monadic Second Order Logic
    13 years 11 months ago
    XML Transformation Language Based on Monadic Second Order Logic
    Download  arbre.is.s.u-tokyo.ac.jp
    Although monadic second-order logic (MSO) has been a foundation of XML queries, little work has attempted to take MSO formulae themselves as a programming construct. Indeed, MSO f...
    Kazuhiro Inaba, Haruo Hosoya
    claim paper
    Read More »
    SDL
    2007
    192views Hardware» more  SDL 2007»
    OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling
    13 years 11 months ago
    OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling
    Download  www.openlicensesociety.org
    Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
    Eric Verhulst, Gjalt G. de Jong
    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.