Sciweavers

10907 search results - page 162 / 2182
» Constraint Based Strategies
Sort
View
SAC
2004
ACM
15 years 3 months ago
Tucupi: a flexible workflow system based on overridable constraints
Jacques Wainer, Fábio de Lima Bezerra, Paul...
ECAI
2004
Springer
15 years 3 months ago
Diagnosis as Semiring-Based Constraint Optimization
Martin Sachenbacher, Brian C. Williams
QOFIS
2004
Springer
15 years 3 months ago
QoS Constraints in Bluetooth-Based Wireless Sensor Networks
Veselin Rakocevic, Muttukrishnan Rajarajan, Kerry-...
SAS
2004
Springer
132views Formal Methods» more  SAS 2004»
15 years 3 months ago
Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language
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