Sciweavers

    5630 search results - page 20 / 1126
    » Computability in Specification
    Sort
    View
    ISORC
    2002
    IEEE
    93views Distributed And Parallel Com...» more  ISORC 2002»
    On Mapping RT-UML Specifications to RT-Java API: Bridging the Gap
    15 years 11 months ago
    On Mapping RT-UML Specifications to RT-Java API: Bridging the Gap
    Download  www.control.auc.dk
    Leandro Buss Becker, R. H. Höltz, Carlos Edua...
    claim paper
    Read More »
    89
    Voted
    IPPS
    2000
    IEEE
    91views Distributed And Parallel Com...» more  IPPS 2000»
    Concurrent Specification and Timing Analysis of Digital Hardware Using SDL
    15 years 10 months ago
    Concurrent Specification and Timing Analysis of Digital Hardware Using SDL
    Download  ipdps.cc.gatech.edu
    Kenneth J. Turner, F. Javier Argul-Marin, Stephen ...
    claim paper
    Read More »
    108
    Voted
    ARITH
    2001
    IEEE
    75views Applied Computing» more  ARITH 2001»
    A Decimal Floating-Point Specification
    15 years 10 months ago
    A Decimal Floating-Point Specification
    Download  speleotrove.com
    Michael F. Cowlishaw, Eric M. Schwarz, Ronald M. S...
    claim paper
    Read More »
    USM
    2000
    114views Distributed And Parallel Com...» more  USM 2000»
    Specification of a Service Management Architecture to Run Distributed and Networked Systems
    15 years 10 months ago
    Specification of a Service Management Architecture to Run Distributed and Networked Systems
    Download  www.tarrani.net
    Christian Mayerl, Zoltán Nochta, Markus M&u...
    claim paper
    Read More »
    ELPUB
    2007
    ACM
    111views Information Technology» more  ELPUB 2007»
    On the Evolution of Computer Terminology and the SPOT On-Line Dictionary Project
    15 years 10 months ago
    On the Evolution of Computer Terminology and the SPOT On-Line Dictionary Project
    Download  elpub.scix.net
    In this paper we discuss the issue of ICT terminology and translations of specific technical terms. We also present SPOT
    Jiri Hynek, Premek Brada
    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.