Sciweavers

    529 search results - page 8 / 106
    » An Eclipse GMF Tool for Modelling User Interaction
    Sort
    View
    HCI
    2007
    183views Human Computer Interaction» more  HCI 2007»
    A 3D Sketching Interacting Tool for Physical Simulation Based on Web
    15 years 1 months ago
    A 3D Sketching Interacting Tool for Physical Simulation Based on Web
    Download  www.cs.sunysb.edu
    Sketching interface, as a user-friendly means for expression and communication, is not only an important medium for inputting 3D objects, but also a significant step of visualizing...
    Ziyi Zheng, Lingyun Sun, Shouqian Sun
    claim paper
    Read More »
    ATVA
    2009
    Springer
    117views Hardware» more  ATVA 2009»
    UnitCheck: Unit Testing and Model Checking Combined
    15 years 6 months ago
    UnitCheck: Unit Testing and Model Checking Combined
    Download  d3s.mff.cuni.cz
    Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...
    Michal Kebrt, Ondrej Sery
    claim paper
    Read More »
    HCI
    2007
    154views Human Computer Interaction» more  HCI 2007»
    Integrating Authoring Tools into Model-Driven Development of Interactive Multimedia Applications
    15 years 1 months ago
    Integrating Authoring Tools into Model-Driven Development of Interactive Multimedia Applications
    Download  www.medien.ifi.lmu.de
    Abstract. The Multimedia Modeling Language (MML) is a platformindependent modeling language for model-driven development of interactive multimedia applications. Using models provid...
    Andreas Pleuß, Heinrich Hußmann
    claim paper
    Read More »
    ICEIS
    2000
    IEEE
    115views Information Technology» more  ICEIS 2000»
    A User-Friendly Development Tool for Medical Diagnosis Based on Bayesian Networks
    15 years 4 months ago
    A User-Friendly Development Tool for Medical Diagnosis Based on Bayesian Networks
    Download  www.lx.it.pt
    : This paper presents a web supported development tool specific for medical diagnosis, based on Bayesian networks. The proposed system provides a user-friendly interface, giving th...
    Isabel Milho, Ana L. N. Fred
    claim paper
    Read More »
    STTT
    2010
    134views more  STTT 2010»
    A case study to evaluate the suitability of graph transformation tools for program refactoring
    14 years 10 months ago
    A case study to evaluate the suitability of graph transformation tools for program refactoring
    Download  www.informatik.uni-bremen.de
    This article proposes a case study to evaluate the suitability of graph transformation tools for program refactoring. In order to qualify for this purpose, a graph transformation s...
    Francisco Javier Pérez, Yania Crespo, Berth...
    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-2025, USA.