Sciweavers

    3432 search results - page 124 / 687
    » Model Development in the UML-based Specification Environment...
    Sort
    View
    TOPNOC
    2010
    235views Artificial Intelligence» more  TOPNOC 2010»
    Schedule-Aware Workflow Management Systems
    13 years 3 months ago
    Schedule-Aware Workflow Management Systems
    Download  is.tm.tue.nl
    Abstract. Contemporary workflow management systems offer workitems to users through specific work-lists. Users select the work-items they will perform without having a specific sch...
    Ronny Mans, Nick C. Russell, Wil M. P. van der Aal...
    claim paper
    Read More »
    CHARME
    2005
    Springer
    176views Hardware» more  CHARME 2005»
    An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment
    14 years 2 months ago
    An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment
    Download  www.cadence.com
    Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
    Nina Amla, Xiaoqun Du, Andreas Kuehlmann, Robert P...
    claim paper
    Read More »
    TASLP
    2010
    150views more  TASLP 2010»
    Diffuse Reverberation Model for Efficient Image-Source Simulation of Room Impulse Responses
    13 years 3 months ago
    Diffuse Reverberation Model for Efficient Image-Source Simulation of Room Impulse Responses
    Download  www.eric-lehmann.com
    Abstract-- In many research fields of engineering and acoustics, the image-source model represents one of the most popular tools for the simulation of sound fields in virtual rever...
    Eric A. Lehmann, Anders M. Johansson
    claim paper
    Read More »
    EMISA
    2005
    Springer
    106views Information Technology» more  EMISA 2005»
    From Reference Model to Component Model
    14 years 2 months ago
    From Reference Model to Component Model
    Download  subs.emis.de
    Stable component models are an essential prerequisite for developing customer-individual business applications. Thereby the information for the identification and specification of ...
    Antonia Albani, Johannes Maria Zaha
    claim paper
    Read More »
    SMA
    2003
    ACM
    262views Solid Modeling» more  SMA 2003»
    t-FFD: free-form deformation by using triangular mesh
    14 years 2 months ago
    t-FFD: free-form deformation by using triangular mesh
    Download  www.cadanda.com
    Soft tissue deformation based on tensegric modeling is proposed. This modeling is especially applicable for human females to reform/alter their body shape using tailor-made underg...
    Kazuya G. Kobayashi, Katsutoshi Ootsubo
    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.