Sciweavers

    180 search results - page 16 / 36
    » A lightweight technique for assessing risks in requirements ...
    Sort
    View
    EDM
    2011
    197views Data Mining» more  EDM 2011»
    Towards Improvements on Domain-independent Measurements for Collaborative Assessment
    12 years 6 months ago
    Towards Improvements on Domain-independent Measurements for Collaborative Assessment
    Download  educationaldatamining.org
    Assessment on collaborative student behavior is a longstanding issue in user modeling. Nowadays thanks to the proliferation of online learning and the vast amount of data on studen...
    Antonio R. Anaya, Jesus Boticario
    claim paper
    Read More »
    ICSE
    2003
    IEEE-ACM
    96views Software Engineering» more  ICSE 2003»
    Sound Methods and Effective Tools for Engineering Modeling and Analysis
    14 years 6 months ago
    Sound Methods and Effective Tools for Engineering Modeling and Analysis
    Download  www.cs.wm.edu
    Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...
    David Coppit, Kevin J. Sullivan
    claim paper
    Read More »
    ISARCS
    2010
    141views Hardware» more  ISARCS 2010»
    Integrating Fault-Tolerant Techniques into the Design of Critical Systems
    13 years 10 months ago
    Integrating Fault-Tolerant Techniques into the Design of Critical Systems
    Download  webdiis.unizar.es
    Abstract. Software designs equipped with specification of dependability techniques can help engineers to develop critical systems. In this work, we start to envision how a softwar...
    Ricardo J. Rodríguez, José Merseguer
    claim paper
    Read More »
    RTSS
    1999
    IEEE
    87views Control Systems» more  RTSS 1999»
    On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols
    13 years 11 months ago
    On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols
    Download  www.deeds.informatik.tu-darmstadt.de
    The e ective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the e cient delivery of services. We focus o...
    Purnendu Sinha, Neeraj Suri
    claim paper
    Read More »
    ICMLA
    2008
    145views Machine Learning» more  ICMLA 2008»
    Tumor Targeting for Lung Cancer Radiotherapy Using Machine Learning Techniques
    13 years 8 months ago
    Tumor Targeting for Lung Cancer Radiotherapy Using Machine Learning Techniques
    Download  www.cis.pku.edu.cn
    Accurate lung tumor targeting in real time plays a fundamental role in image-guide radiotherapy of lung cancers. Precise tumor targeting is required for both respiratory gating an...
    Tong Lin, Laura Cervino, Xiaoli Tang, Nuno Vasconc...
    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.