Sciweavers

    274 search results - page 19 / 55
    » Universal extensions to simulate specifications
    Sort
    View
    TPHOL
    1998
    IEEE
    148views Automated Reasoning» more  TPHOL 1998»
    Program Abstraction in a Higher-Order Logic Framework
    14 years 1 days ago
    Program Abstraction in a Higher-Order Logic Framework
    Download  www.fmi.uni-stuttgart.de
    Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...
    Marco Benini, Sara Kalvala, Dirk Nowotka
    claim paper
    Read More »
    ESWS
    2008
    Springer
    100views Internet Technology» more  ESWS 2008»
    WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic
    13 years 9 months ago
    WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic
    Download  www.eswc2008.org
    tract State Machines to Concurrent Transaction Logic Dumitru Roman1 , Michael Kifer2 , and Dieter Fensel1 1 STI Innsbruck, Austria 2 State University of New York at Stony Brook, US...
    Dumitru Roman, Michael Kifer, Dieter Fensel
    claim paper
    Read More »
    MDM
    2007
    Springer
    111views Communications» more  MDM 2007»
    Exploiting Our Computational Surroundings for Better Mobile Collaboration
    14 years 1 months ago
    Exploiting Our Computational Surroundings for Better Mobile Collaboration
    Download  pagesperso-systeme.lip6.fr
    Mobile collaborative environments, being naturally loosely-coupled, call for optimistic replication solutions in order to attain the requirement of decentralized highly available ...
    João Pedro Barreto, Paulo Ferreira, Marc Sh...
    claim paper
    Read More »
    PDPTA
    2004
    135views Distributed And Parallel Com...» more  PDPTA 2004»
    An Integrated Global Service for File Transfer and Management in a Network (FTM)
    13 years 9 months ago
    An Integrated Global Service for File Transfer and Management in a Network (FTM)
    Download  www.hlrs.de
    The management and access of distributed informational resources has emerged as an important requirement for scientific simulations using high-performance computing facilities. Bot...
    Jim Almond, Peggy Lindner
    claim paper
    Read More »
    ICDE
    2006
    IEEE
    128views Database» more  ICDE 2006»
    Partial Selection Query in Peer-to-Peer Databases
    14 years 9 months ago
    Partial Selection Query in Peer-to-Peer Databases
    Download  infolab.usc.edu
    In this paper, we propose DBSampler, a query execution mechanism to answer "partial selection" queries in peerto-peer databases. A partial selection query is an arbitrar...
    Farnoush Banaei Kashani, Cyrus Shahabi
    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.