Sciweavers

    10907 search results - page 162 / 2182
    » Constraint Based Strategies
    Sort
    View
    SAC
    2004
    ACM
    84views Applied Computing» more  SAC 2004»
    Tucupi: a flexible workflow system based on overridable constraints
    15 years 11 months ago
    Tucupi: a flexible workflow system based on overridable constraints
    Download  www.ic.unicamp.br
    Jacques Wainer, Fábio de Lima Bezerra, Paul...
    claim paper
    Read More »
    AISC
    2004
    Springer
    94views Artificial Intelligence» more  AISC 2004»
    Two Revision Methods Based on Constraints: Application to a Flooding Problem
    15 years 11 months ago
    Two Revision Methods Based on Constraints: Application to a Flooding Problem
    Download  www.cmi.univ-mrs.fr
    Mahat Khelfallah, Belaid Benhamou
    claim paper
    Read More »
    ECAI
    2004
    Springer
    108views Artificial Intelligence» more  ECAI 2004»
    Diagnosis as Semiring-Based Constraint Optimization
    15 years 10 months ago
    Diagnosis as Semiring-Based Constraint Optimization
    Download  www.laas.fr
    Martin Sachenbacher, Brian C. Williams
    claim paper
    Read More »
    QOFIS
    2004
    Springer
    120views Internet Technology» more  QOFIS 2004»
    QoS Constraints in Bluetooth-Based Wireless Sensor Networks
    15 years 10 months ago
    QoS Constraints in Bluetooth-Based Wireless Sensor Networks
    Download  qofis.ccaba.upc.edu
    Veselin Rakocevic, Muttukrishnan Rajarajan, Kerry-...
    claim paper
    Read More »
    SAS
    2004
    Springer
    132views Formal Methods» more  SAS 2004»
    Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language
    15 years 10 months ago
    Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language
    Download  www.cs.stevens.edu
    Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
    Qi Sun, Anindya Banerjee, David A. Naumann
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.