Sciweavers

    783 search results - page 141 / 157
    » The TextPro Tool Suite
    Sort
    View
    HASE
    2008
    IEEE
    194views Control Systems» more  HASE 2008»
    Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
    13 years 8 months ago
    Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
    Download  www.deeds.informatik.tu-darmstadt.de
    Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
    Kohei Sakurai, Péter Bokor, Neeraj Suri
    claim paper
    Read More »
    ENTCS
    2008
    99views more  ENTCS 2008»
    Visual Specification of Metrics for Domain Specific Visual Languages
    13 years 8 months ago
    Visual Specification of Metrics for Domain Specific Visual Languages
    Download  arantxa.ii.uam.es
    We present a Domain Specific Visual Language (DSVL) for the definition of metrics for other DSVLs. The metrics language has been defined using meta-modelling, and includes some of...
    Esther Guerra, Paloma Díaz, Juan de Lara
    claim paper
    Read More »
    IJAR
    2008
    93views more  IJAR 2008»
    Prototype based fuzzy classification in clinical proteomics
    13 years 8 months ago
    Prototype based fuzzy classification in clinical proteomics
    Download  www2.in.tu-clausthal.de
    Proteomic profiling based on mass spectrometry is an important tool for studies at the protein and peptide level in medicine and health care. Thereby, the identification of releva...
    Frank-Michael Schleif, Thomas Villmann, Barbara Ha...
    claim paper
    Read More »
    ISI
    2006
    Springer
    91views Security Privacy» more  ISI 2006»
    Visualizing Authorship for Identification
    13 years 8 months ago
    Visualizing Authorship for Identification
    Download  ai.arizona.edu
    As a result of growing misuse of online anonymity, researchers have begun to create visualization tools to facilitate greater user accountability in online communities. In this stu...
    Ahmed Abbasi, Hsinchun Chen
    claim paper
    Read More »
    ALIFE
    2005
    85views Modeling And Simulation» more  ALIFE 2005»
    Levels of Description: A Novel Approach to Dynamical Hierarchies
    13 years 8 months ago
    Levels of Description: A Novel Approach to Dynamical Hierarchies
    Download  www.informatics.sussex.ac.uk
    We present a novel formal interpretation of dynamical hierarchies based on information theory, in which each level is a near-state-determined system, and levels are related to one ...
    Simon McGregor, Chrisantha Fernando
    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.