882 search results - page 61 / 177 » Application portals: practice and experience |
ICIP
2000
IEEE
14 years 9 months ago
2000
IEEE
The enhancement of compressed video is considered. We present a general algorithm for processing the compressed data, with three variants of the algorithm having practical applica...
EMSOFT
2005
Springer
14 years 1 months ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
ISSAC
2004
Springer
14 years 1 months ago
2004
Springer
This paper presents an algorithm and its implementation for computing the approximate GCD (greatest common divisor) of multivariate polynomials whose coefficients may be inexact. ...
VLDB
2004
ACM
14 years 1 months ago
2004
ACM
We present a practical and efficient approach to incorporating privacy policy enforcement into an existing application and database environment, and we explore some of the semanti...
FSKD
2006
Springer
13 years 11 months ago
2006
Springer
Information security evaluation of software-intensive systems typically relies heavily on the experience of the security professionals. Obviously, automated approaches are needed ...