Sciweavers

    18924 search results - page 1 / 3785
    » Conformance of Distributed Systems
    Sort
    View
    KIVS
    1997
    Springer
    92views Computer Networks» more  KIVS 1997»
    Conformance Testing of Objects in Distributed Processing Systems
    13 years 11 months ago
    Conformance Testing of Objects in Distributed Processing Systems
    Download  kbs.cs.tu-berlin.de
    The object model is a very popular paradigm for building distributed applications. Several standardisation efforts are underway that define architectures for distributed computing...
    Brigitte Bär, Kurt Geihs
    claim paper
    Read More »
    ISSTA
    2009
    ACM
    122views Software Engineering» more  ISSTA 2009»
    Run-time conformance checking of mobile and distributed systems using executable models
    13 years 11 months ago
    Run-time conformance checking of mobile and distributed systems using executable models
    Download  research.cs.queensu.ca
    This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
    Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel
    claim paper
    Read More »
    FMCO
    2008
    Springer
    117views Formal Methods» more  FMCO 2008»
    Conformance Testing of Distributed Concurrent Systems with Executable Designs
    13 years 8 months ago
    Conformance Testing of Distributed Concurrent Systems with Executable Designs
    Download  www.ist.tugraz.at
    Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
    Bernhard K. Aichernig, Andreas Griesmayer, Einar B...
    claim paper
    Read More »
    PTS
    2003
    80views Hardware» more  PTS 2003»
    Conformance of Distributed Systems
    13 years 8 months ago
    Conformance of Distributed Systems
    Download  www.testcom2003.org
    Maximilian Frey, Bernd-Holger Schlingloff
    claim paper
    Read More »
    SIAMSC
    2008
    182views more  SIAMSC 2008»
    A Distributed SDP Approach for Large-Scale Noisy Anchor-Free Graph Realization with Applications to Molecular Conformation
    13 years 6 months ago
    A Distributed SDP Approach for Large-Scale Noisy Anchor-Free Graph Realization with Applications to Molecular Conformation
    Download  www.math.nus.edu.sg
    We propose a distributed algorithm for solving Euclidean metric realization problems arising from large 3D graphs, using only noisy distance information, and without any prior kno...
    Pratik Biswas, Kim-Chuan Toh, Yinyu Ye
    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.