Sciweavers

    1156 search results - page 13 / 232
    » Compositional Methods for Information-Hiding
    Sort
    View
    JETAI
    2000
    96views more  JETAI 2000»
    Abstraction and composition: a verification method for co-operating systems
    13 years 7 months ago
    Abstraction and composition: a verification method for co-operating systems
    Download  sit.sit.fraunhofer.de
    Peter Ochsenschläger, Jürgen Repp, Rolan...
    claim paper
    Read More »
    DKE
    1999
    90views more  DKE 1999»
    Temporal Semantics of Compositional Task Models and Problem Solving Methods
    13 years 7 months ago
    Temporal Semantics of Compositional Task Models and Problem Solving Methods
    Download  www.cs.vu.nl
    Frances M. T. Brazier, Jan Treur, Niek J. E. Wijng...
    claim paper
    Read More »
    TOCL
    2010
    56views more  TOCL 2010»
    On the completeness of compositional reasoning methods
    13 years 5 months ago
    On the completeness of compositional reasoning methods
    Download  tocl.acm.org
    Kedar S. Namjoshi, Richard J. Trefler
    claim paper
    Read More »
    AAAI
    2006
    126views Intelligent Agents» more  AAAI 2006»
    A Causal Analysis Method for Concurrent Hybrid Automata
    13 years 9 months ago
    A Causal Analysis Method for Concurrent Hybrid Automata
    Download  www.aaai.org
    Modern artifacts are typically composed of many system components and exhibit a complex pattern of continuous/discrete behaviors. A concurrent hybrid automaton is a powerful model...
    Michael W. Hofbaur, Franz Wotawa
    claim paper
    Read More »
    ISCAS
    2007
    IEEE
    123views Hardware» more  ISCAS 2007»
    Process-Independent Resistor Temperature-Coefficients using Series/Parallel and Parallel/Series Composite Resistors
    14 years 1 months ago
    Process-Independent Resistor Temperature-Coefficients using Series/Parallel and Parallel/Series Composite Resistors
    Download  web.engr.oregonstate.edu
    —this paper introduces series/parallel and parallel/series composite resistor topologies. These topologies allow one to design a temperature coefficient that is insensitive to pr...
    B. Robert Gregoire, Un-Ku Moon
    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.