2838 search results - page 156 / 568 » Verifying Controlled Components |
ICPR
2004
IEEE
14 years 11 months ago
2004
IEEE
Segmentation of individual actions from a stream of human motion is an open problem in computer vision. This paper approaches the problem of segmenting higher-level activities int...
MOBILITY
2009
ACM
14 years 4 months ago
2009
ACM
In this paper we present a prototype for parental control that detects images with adult content received on a mobile device. More specifically, the application that we developed...
ICDIM
2007
IEEE
14 years 4 months ago
2007
IEEE
: A new video watermarking algorithm for access control is introduced. This method is content-dependent and uses the dual tree complex wavelet transform (DT CWT) to create a waterm...
IWPC
2006
IEEE
14 years 4 months ago
2006
IEEE
The presence of traceability links between software artefacts is very important to achieve high comprehensibility and maintainability. This is confirmed by several researches and ...
DSVIS
2005
Springer
14 years 3 months ago
2005
Springer
Goal-oriented methodologies have demonstrated some adequacy for modelling composite systems, from high level desired properties to operational requirements on responsible agents. T...