6293 search results - page 58 / 1259 » Information Flow Testing |
MEMBRANE
2009
Springer
14 years 4 months ago
2009
Springer
would be an abstract answer (because it would not immediately link a formal model with the biological reality that inspired it or with possible implementations) from the other hand...
ICRA
2005
IEEE
14 years 4 months ago
2005
IEEE
— This work presents a new approach to calculate the optical flow, which uses the decentralized information filter to accomplish a data fusion step. The proposal consists in ta...
CSFW
2003
IEEE
14 years 3 months ago
2003
IEEE
Access control mechanisms are widely used with the intent of enforcing confidentiality and other policies, but few formal connections have been made between information flow and...
POPL
1998
ACM
14 years 2 months ago
1998
ACM
Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either hig...
ECSCW
1997
13 years 11 months ago
1997
Abstract: In field studies designed to uncover opportunities for computationallyintensive business applications, we observed an interaction pattern we term "constellations&quo...