Sciweavers

    9370 search results - page 1825 / 1874
    » An Abstract Notion of Application
    Sort
    View
    OPODIS
    2003
    145views Distributed And Parallel Com...» more  OPODIS 2003»
    Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing
    13 years 9 months ago
    Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing
    Download  users.ece.utexas.edu
    Detecting whether a finite execution trace (or a computation) of a distributed program satisfies a given predicate, called predicate detection, is a fundamental problem in distr...
    Alper Sen, Vijay K. Garg
    claim paper
    Read More »
    PSSS
    2003
    140views Knowledge Management» more  PSSS 2003»
    Representing Contextualized Data using Semantic Web Tools
    13 years 9 months ago
    Representing Contextualized Data using Semantic Web Tools
    Download  km.aifb.kit.edu
    : RDF-based tools promise to provide a base for reasoning about metadata and about situated data—data describing entities situated in time and space—that is superior to alterna...
    Robert M. MacGregor, In-Young Ko
    claim paper
    Read More »
    AAAI
    1998
    150views Intelligent Agents» more  AAAI 1998»
    Handling Inconsistency for Multi-Source Integration
    13 years 9 months ago
    Handling Inconsistency for Multi-Source Integration
    Download  www.aaai.org
    The overwhelming amount of information sources now available through the internet has increased the need to combine or integrate the data retrieved from these sources in an intell...
    Sheila Tejada, Craig A. Knoblock, Steven Minton
    claim paper
    Read More »
    OSDI
    2000
    ACM
    112views Operating System» more  OSDI 2000»
    Processes in KaffeOS: Isolation, Resource Management, and Sharing in Java
    13 years 9 months ago
    Processes in KaffeOS: Isolation, Resource Management, and Sharing in Java
    Download  www.cs.utah.edu
    Single-language runtime systems, in the form of Java virtual machines, are widely deployed platforms for executing untrusted mobile code. These runtimes provide some of the featur...
    Godmar Back, Wilson C. Hsieh, Jay Lepreau
    claim paper
    Read More »
    WSC
    2000
    135views Modeling And Simulation» more  WSC 2000»
    An integrated object model for activity network based simulation
    13 years 9 months ago
    An integrated object model for activity network based simulation
    Download  www.informs-sim.org
    This paper describes an object-orientated simulation approach towards an integrated planning of production systems. The main obstacle for an integrated use of simulation over diff...
    Gert Zülch, Jörg Fischer, Uwe Jonsson
    claim paper
    Read More »
    « Prev « First page 1825 / 1874 Last » Next »
    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.