Sciweavers

    ERCIM
    2010
    39views more  ERCIM 2010»
    Trustworthy Preservation Planning with Plato
    13 years 11 months ago
    Trustworthy Preservation Planning with Plato
    Download  www.kc.tsukuba.ac.jp
    Christoph Becker, Hannes Kulovits, Andreas Rauber
    claim paper
    Read More »
    ERCIM
    2008
    94views more  ERCIM 2008»
    Model-Based Development of Distributed Embedded Real-Time Systems
    14 years 3 days ago
    Model-Based Development of Distributed Embedded Real-Time Systems
    Download  bernh.net
    The increasing complexity of distributed embedded systems, as found today in airplanes or cars, becomes more and more a critical cost-factor for their development. Model-based app...
    Wolfgang Herzner, Martin Schlager, György Cse...
    claim paper
    Read More »
    ERCIM
    2008
    83views more  ERCIM 2008»
    From Rigorous Requirements Engineering to Formal System Design
    14 years 19 days ago
    From Rigorous Requirements Engineering to Formal System Design
    Download  deploy-eprints.ecs.soton.ac.uk
    Christophe Ponsard, Philippe Massonet, Gautier Dal...
    claim paper
    Read More »
    ERCIM
    2008
    48views more  ERCIM 2008»
    Mathematics and Social Science: A Statistical Mechanics Approach to Immigration
    14 years 19 days ago
    Mathematics and Social Science: A Statistical Mechanics Approach to Immigration
    Download  www.win.tue.nl
    Pierluigi Contucci, Cristian Giardina
    claim paper
    Read More »
    ERCIM
    2008
    41views more  ERCIM 2008»
    Web Services for Accessing Explicit State Space Verification Tools
    14 years 19 days ago
    Web Services for Accessing Explicit State Space Verification Tools
    Download  users.dsic.upv.es
    María-del-Mar Gallardo, Christophe Joubert,...
    claim paper
    Read More »
    ERCIM
    2008
    40views more  ERCIM 2008»
    Understanding the Hidden Web
    14 years 19 days ago
    Understanding the Hidden Web
    Download  pierre.senellart.com
    Pierre Senellart, Serge Abiteboul, Rémi Gil...
    claim paper
    Read More »
    ERCIM
    2008
    78views more  ERCIM 2008»
    Test Coverage Analysis and Preservation for Requirements-Based Testing
    14 years 19 days ago
    Test Coverage Analysis and Preservation for Requirements-Based Testing
    Download  www.vmars.tuwien.ac.at
    The testing process for safety-critical systems is usually evaluated with code coverage criteria such as MC/DC (Modified Condition/Decision Coverage) defined in the standard DO-17...
    Raimund Kirner, Susanne Kandl
    claim paper
    Read More »
    ERCIM
    2008
    130views more  ERCIM 2008»
    Mediated Collaborative Learning
    14 years 19 days ago
    Mediated Collaborative Learning
    Download  ipv6.willab.fi
    Information and Communication Technologies facilitate the emergence of new contexts and practices of learning that educational institutions have to adapt to their pedagogical disc...
    Kostas Pentikousis, Carmen Martinez-Carrillo
    claim paper
    Read More »
    ERCIM
    2008
    42views more  ERCIM 2008»
    Evaluation of Natural Language Requirements in the MODCONTROL Project
    14 years 19 days ago
    Evaluation of Natural Language Requirements in the MODCONTROL Project
    Download  quars.isti.cnr.it
    Antonio Bucchiarone, Stefania Gnesi, Gianluca Tren...
    claim paper
    Read More »
    ERCIM
    2008
    61views more  ERCIM 2008»
    WAGRIT: A Web-based Application for Agricultural and Environmental Monitoring
    14 years 19 days ago
    WAGRIT: A Web-based Application for Agricultural and Environmental Monitoring
    Download  www.na.iac.cnr.it
    Umberto Amato, Maria Francesca Carfora, Paolo Cola...
    claim paper
    Read More »
    12next ›last »
    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.