ViBe: a powerful random technique to estimate the background in video sequences

O Barnich… - 2009 IEEE international …, 2009 - ieeexplore.ieee.org
Background subtraction is a crucial step in many automatic video content analysis
applications. While numerous acceptable techniques have been proposed so far for …

Using event calculus to formalise policy specification and analysis

AK Bandara, EC Lupu, A Russo - Proceedings POLICY 2003 …, 2003 - ieeexplore.ieee.org
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 …

A goal-based approach to policy refinement

AK Bandara, EC Lupu, J Moffett… - Proceedings. Fifth IEEE …, 2004 - ieeexplore.ieee.org
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 …

A policy deployment model for the ponder language

N Dulay, E Lupu, M Sloman… - 2001 IEEE/IFIP …, 2001 - ieeexplore.ieee.org
Policies are rules that govern the choices in behaviour of a system. Security policies define
what actions are permitted or not permitted, for what or for whom, and under what conditions …

Network management: State of the art

R Boutaba, J **ao - IFIP World Computer Congress, TC 6, 2002 - Springer
This paper examines the state-of-the-art enabling technologies for network management,
including policy-based network management, distributed object computing, Web-based …

[PDF][PDF] A survey of policy specification approaches

N Damianou, A Bandara, M Sloman… - Department of Computing …, 2002 - academia.edu
Policies are rules governing the choices in behaviour of a system. They are often used as a
means of implementing flexible and adaptive systems for management of internet services …

Tools for domain-based policy management of distributed systems

N Damianou, N Dulay, E Lupu… - NOMS 2002. IEEE …, 2002 - ieeexplore.ieee.org
The management of policies in large-scale systems is complex because of the potentially
large number of policies and administrators, as well as the diverse types of information that …

Using linear temporal model checking for goal-oriented policy refinement frameworks

J Rubio-Loyola, J Serrat… - … on Policies for …, 2005 - ieeexplore.ieee.org
Policy refinement is meant to derive lower-level policies from higher-level ones so that these
more specific policies are better suited for use in different execution environments. Although …

A methodological approach toward the refinement problem in policy-based management systems

J Rubio-Loyola, J Serrat… - IEEE …, 2006 - ieeexplore.ieee.org
Policy refinement is meant to derive low-level enforceable policies from high-level
guidelines. Although recent advances have been made to solve this open problem, the …

Detecting and sketching the common

S Bagon, O Brostovski, M Galun… - 2010 IEEE Computer …, 2010 - ieeexplore.ieee.org
Given very few images containing a common object of interest under severe variations in
appearance, we detect the common object and provide a compact visual representation of …