Sciweavers

    8083 search results - page 238 / 1617
    » A Formalization of Software Architecture
    Sort
    View
    CISSE
    2008
    Springer
    110views Software Engineering» more  CISSE 2008»
    Efficient Self-Localization and Data Gathering Architecture for Wireless Sensor Networks
    15 years 8 months ago
    Efficient Self-Localization and Data Gathering Architecture for Wireless Sensor Networks
    Download  www.dinesgroup.org
    Milan Simek, Dan Komosny, Radim Bürget, Ricar...
    claim paper
    Read More »
    IESA
    2007
    135views Software Engineering» more  IESA 2007»
    Architecture for the Design and Agent-Based Implementation of Cross-Organizational Business Processes
    15 years 8 months ago
    Architecture for the Design and Agent-Based Implementation of Cross-Organizational Business Processes
    Download  www.informatik.uni-augsburg.de
    Timo Kahl, Ingo Zinnikus, Stephan Roser, Christian...
    claim paper
    Read More »
    SJ
    2011
    191views Software Engineering» more  SJ 2011»
    Smart Medication Dispenser: Design, Architecture and Implementation
    15 years 1 months ago
    Smart Medication Dispenser: Design, Architecture and Implementation
    Download  www.iis.sinica.edu.tw
    Pei-Hsuan Tsai, Tsung-Yen Chen, Chi-Sheng Yu, Chi-...
    claim paper
    Read More »
    CADE
    2007
    Springer
    96views Logical Reasoning» more  CADE 2007»
    Formal Device and Programming Model for a Serial Interface
    16 years 6 months ago
    Formal Device and Programming Model for a Serial Interface
    Download  ftp.informatik.rwth-aachen.de
    Abstract. The verification of device drivers is essential for the pervasive verification of an operating system. To show the correctness of device drivers, devices have to be forma...
    Eyad Alkassar, Mark A. Hillebrand, Steffen Knapp, ...
    claim paper
    Read More »
    FASE
    2006
    Springer
    144views Software Engineering» more  FASE 2006»
    Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude
    15 years 10 months ago
    Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude
    Download  pertsserver.cs.uiuc.edu
    This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
    Peter Csaba Ölveczky, Marco Caccamo
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.