Sciweavers

    2035 search results - page 399 / 407
    » On the complexity of stratified logics
    Sort
    View
    88
    Voted
    DAIS
    2007
    208views Distributed And Parallel Com...» more  DAIS 2007»
    Construction and Execution of Adaptable Applications Using an Aspect-Oriented and Model Driven Approach
    14 years 11 months ago
    Construction and Execution of Adaptable Applications Using an Aspect-Oriented and Model Driven Approach
    Download  www.cs.colostate.edu
    Constructing and executing distributed applications that can adapt to their current operating context, in order to maintain or enhance Quality of Service (QoS) attribute levels, ar...
    Sten A. Lundesgaard, Arnor Solberg, Jon Oldevik, R...
    claim paper
    Read More »
    APCCM
    2006
    104views Knowledge Management» more  APCCM 2006»
    Network data mining: methods and techniques for discovering deep linkage between attributes
    14 years 11 months ago
    Network data mining: methods and techniques for discovering deep linkage between attributes
    Download  crpit.com
    Network Data Mining identifies emergent networks between myriads of individual data items and utilises special algorithms that aid visualisation of `emergent' patterns and tre...
    John Galloway, Simeon J. Simoff
    claim paper
    Read More »
    DAGSTUHL
    2006
    146views Software Engineering» more  DAGSTUHL 2006»
    Efficient Software Model Checking of Data Structure Properties
    14 years 11 months ago
    Efficient Software Model Checking of Data Structure Properties
    Download  www.eecs.umich.edu
    This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
    Chandrasekhar Boyapati, Paul T. Darga
    claim paper
    Read More »
    IJCAI
    2003
    163views Artificial Intelligence» more  IJCAI 2003»
    In Defense of PDDL Axioms
    14 years 11 months ago
    In Defense of PDDL Axioms
    Download  dli.iiit.ac.in
    There is controversy as to whether explicit support for PDDL-like axioms and derived predicates is needed for planners to handle real-world domains effectively. Many researchers h...
    Sylvie Thiébaux, Jörg Hoffmann, Bernha...
    claim paper
    Read More »
    LISA
    2003
    104views Operating System» more  LISA 2003»
    Using Service Grammar to Diagnose BGP Configuration Errors
    14 years 11 months ago
    Using Service Grammar to Diagnose BGP Configuration Errors
    Download  www.argreenhouse.com
    Often network components work correctly, yet end-to-end services don’t. This happens if configuration parameters of components are set to incorrect values. Configuration is a fu...
    Xiaohu Qie, Sanjai Narain
    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-2025, USA.