2486 search results - page 54 / 498 » A Type System for Computationally Secure Information Flow |
ACSC
2002
IEEE
14 years 1 months ago
2002
IEEE
The per-method access control lists of standard middleware technologies allow only simple forms of access control to be expressed and enforced. Research systems based on capabilit...
ICPR
2000
IEEE
14 years 1 months ago
2000
IEEE
This work is intended to give some ideas to extract motion information from an image sequence. A directional energy is defined in terms of the 1-D Hermite transform coefficients o...
PLDI
2011
ACM
12 years 11 months ago
2011
ACM
Energy is increasingly a first-order concern in computer systems. Exploiting energy-accuracy trade-offs is an attractive choice in applications that can tolerate inaccuracies. Re...
ISMIR
2004
Springer
14 years 2 months ago
2004
Springer
The IMIRSEL (International Music Information Retrieval Systems Evaluation Laboratory) project provides an unprecedented platform for evaluating Music Information Retrieval (MIR) a...
ENTCS
2007
13 years 8 months ago
2007
We present two enhancements of the functional language L which is used in the eriFun system to write programs and formulate statements about them. Context dependent procedures all...