Sciweavers

    1728 search results - page 321 / 346
    » Formal Modeling of Process Migration
    Sort
    View
    CLASSIFICATION
    2006
    78views more  CLASSIFICATION 2006»
    Astrocladistics: A Phylogenetic Analysis of Galaxy Evolution II. Formation and Diversification of Galaxies
    14 years 10 months ago
    Astrocladistics: A Phylogenetic Analysis of Galaxy Evolution II. Formation and Diversification of Galaxies
    Download  www.isem.cnrs.fr
    :This series of papers is intended to evaluate astrocladistics in reconstructing phylogenies of galaxies. The objective of this second paper is to formalize the concept of galaxy f...
    Didier Fraix-Burnet, Philippe Choler, Emmanuel J. ...
    claim paper
    Read More »
    JCST
    2008
    138views more  JCST 2008»
    Predicting Chinese Abbreviations from Definitions: An Empirical Learning Approach Using Support Vector Regression
    14 years 10 months ago
    Predicting Chinese Abbreviations from Definitions: An Empirical Learning Approach Using Support Vector Regression
    Download  www-tsujii.is.s.u-tokyo.ac.jp
    In Chinese, phrases and named entities play a central role in information retrieval. Abbreviations, however, make keyword-based approaches less effective. This paper presents an em...
    Xu Sun, Houfeng Wang, Bo Wang 0003
    claim paper
    Read More »
    JALC
    2006
    87views more  JALC 2006»
    A Team Automaton Scenario for the Analysis of Security Properties of Communication Protocols
    14 years 10 months ago
    A Team Automaton Scenario for the Analysis of Security Properties of Communication Protocols
    Download  fmt.isti.cnr.it
    Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
    Maurice H. ter Beek, Gabriele Lenzini, Marinella P...
    claim paper
    Read More »
    ENTCS
    2007
    114views more  ENTCS 2007»
    Parametric Performance Contracts for Software Components with Concurrent Behaviour
    14 years 10 months ago
    Parametric Performance Contracts for Software Components with Concurrent Behaviour
    Download  se.informatik.uni-oldenburg.de
    Performance prediction methods for component-based software systems aim at supporting design decisions of software architects during early development stages. With the increased a...
    Jens Happe, Heiko Koziolek, Ralf Reussner
    claim paper
    Read More »
    SAC
    2006
    ACM
    143views Applied Computing» more  SAC 2006»
    A domain-specific language for task handlers generation, applying discrete controller synthesis
    14 years 10 months ago
    A domain-specific language for task handlers generation, applying discrete controller synthesis
    Download  hal.archives-ouvertes.fr
    We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...
    Gwenaël Delaval, Éric Rutten
    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.