Sciweavers

    15421 search results - page 318 / 3085
    » Dependability
    Sort
    View
    FMCAD
    2006
    Springer
    87views Formal Methods» more  FMCAD 2006»
    Model Checking Data-Dependent Real-Time Properties of the European Train Control System
    15 years 10 months ago
    Model Checking Data-Dependent Real-Time Properties of the European Train Control System
    Download  csd.informatik.uni-oldenburg.de
    Johannes Faber, Roland Meyer
    claim paper
    Read More »
    CIARP
    2003
    Springer
    104views Pattern Recognition» more  CIARP 2003»
    Decision Tree-Based Context Dependent Sublexical Units for Continuous Speech Recognition of Basque
    15 years 10 months ago
    Decision Tree-Based Context Dependent Sublexical Units for Continuous Speech Recognition of Basque
    Download  ixa.si.ehu.es
    Karmele López de Ipiña, Manuel Gra&n...
    claim paper
    Read More »
    ERCIMDL
    2000
    Springer
    79views Education» more  ERCIMDL 2000»
    Representing Context-Dependent Information Using Multidimensional XML
    15 years 10 months ago
    Representing Context-Dependent Information Using Multidimensional XML
    Download  www.ionio.gr
    Yannis Stavrakas, Manolis Gergatsoulis, Theodoros ...
    claim paper
    Read More »
    ESAW
    2000
    Springer
    116views Intelligent Agents» more  ESAW 2000»
    Context-Dependency in Internet-Agent Coordination
    15 years 10 months ago
    Context-Dependency in Internet-Agent Coordination
    Download  polaris.ing.unimo.it
    The design and development of Internet applications can take advantage of a paradigm based on autonomous and mobile agents. However, agent mobility introduces peculiar coordinatio...
    Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
    claim paper
    Read More »
    ESORICS
    2000
    Springer
    92views Security Privacy» more  ESORICS 2000»
    Analysing Time Dependent Security Properties in CSP Using PVS
    15 years 10 months ago
    Analysing Time Dependent Security Properties in CSP Using PVS
    Download  www.computing.surrey.ac.uk
    Neil Evans, Steve Schneider
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.