38 search results - page 2 / 8 » Decomposition techniques for policy refinement |
POLICY
2004
Springer
13 years 10 months ago
2004
Springer
As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of p...
ICIP
2005
IEEE
14 years 7 months ago
2005
IEEE
Scalability and others functionalities such as the Region of Interest encoding become essential properties of an efficient image coding scheme. Within the framework of lossless co...
CIKM
2006
Springer
13 years 9 months ago
2006
Springer
The I/O performance of query processing can be improved using two complementary approaches. One can try to improve on the buffer and the file system management policies of the DB ...
JLP
2008
13 years 5 months ago
2008
Abstract. Retrenchment is a flexible model evolution formalism that arose as a reaction to the limitations imposed by refinement, and for which the proof obligations feature additi...
ICIAP
2001
Springer
14 years 5 months ago
2001
Springer
A novel approach to the automatic classiJcation of remote sensed images is proposed. This approach is based on a three-phase procedure: first pixels which belong to the areas of i...