Sciweavers

    1082 search results - page 184 / 217
    » tools 2000
    Sort
    View
    PDPTA
    2000
    164views Distributed And Parallel Com...» more  PDPTA 2000»
    ORB Instrumentation for Management of CORBA
    13 years 11 months ago
    ORB Instrumentation for Management of CORBA
    Download  wwwhome.cs.utwente.nl
    Object middleware, such as CORBA, is rapidly gaining acceptance as a means for cost effective and fast development for a wide range of applications in various areas of industry. St...
    Maarten Wegdam, Dirk-Jaap Plas, Aart van Halteren,...
    claim paper
    Read More »
    PTS
    2000
    58views Hardware» more  PTS 2000»
    Formal Test Automation: The Conference Protocol with PHACT
    13 years 11 months ago
    Formal Test Automation: The Conference Protocol with PHACT
    Download  eprints.eemcs.utwente.nl
    We discuss a case study of automatic test generation and test execution based on formal methods. The case is the Conference Protocol, a simple, chatbox-like protocol, for which (fo...
    Lex Heerink, Jan Feenstra, Jan Tretmans
    claim paper
    Read More »
    PUK
    2000
    130views Computer Science» more  PUK 2000»
    Knowledge-Based Control of Decision Theoretic Planning - Adaptive Planning Model Selection
    13 years 11 months ago
    Knowledge-Based Control of Decision Theoretic Planning - Adaptive Planning Model Selection
    Download  www-is.informatik.uni-oldenburg.de
    This paper proposes a new planning architecture for agents operating in uncertain and dynamic environments. Decisiontheoretic planning has been recognized as a useful tool for rea...
    Jun Miura, Yoshiaki Shirai
    claim paper
    Read More »
    SAM
    2000
    89views Hardware» more  SAM 2000»
    HyperMSC - a Graphical Representation of TTCN
    13 years 11 months ago
    HyperMSC - a Graphical Representation of TTCN
    Download  www.swe.informatik.uni-goettingen.de
    The development of an MSC based graphical representation of TTCN is part of the ETSI project STF 156 on 'Specification of a Message Sequence Chart/UML format, including valid...
    Ekkart Rudolph, Ina Schieferdecker, Jens Grabowski
    claim paper
    Read More »
    TREC
    2000
    118views Information Technology» more  TREC 2000»
    CINDOR TREC-9 English-Chinese Evaluation
    13 years 11 months ago
    CINDOR TREC-9 English-Chinese Evaluation
    Download  trec.nist.gov
    MNIS-TextWise Labs participated in the TREC-9 Chinese Cross-Language Information Retrieval track. The focus of our research for this participation has been on rapidly adding Chine...
    Miguel E. Ruiz, Steve Rowe, Maurice Forrester, Par...
    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.