Search Sciweavers | Sciweavers

2079 search results - page 66 / 416

» Quantifying Information Flow

click to vote

IFIP
2009
Springer

97views Programming Languages» more IFIP 2009»

Information Flow Control for Cooperation Support in Virtual Enterprises

14 years 8 days ago

Download www.uninova.pt

Peter Bertók, Abdelkamel Tari, Saadia Kedja...

claim paper

Read More »

click to vote

PSIVT
2009
Springer

252views Multimedia» more PSIVT 2009»

Moving Object Segmentation Using Optical Flow and Depth Information

14 years 7 days ago

Download www.mi.auckland.ac.nz

This paper discusses the detection of moving objects (being a crucial part of driver assistance systems) using monocular or stereoscopic computer vision. In both cases, object dete...

Jens Klappstein, Tobi Vaudrey, Clemens Rabe, Andre...

claim paper

Read More »

click to vote

ESOP
2001
Springer

145views Programming Languages» more ESOP 2001»

Secure Information Flow and CPS

14 years 5 days ago

Download www.cis.upenn.edu

Security-typed languages enforce conﬁdentiality or integrity policies by type checking. This paper investigates continuation-passing style (CPS) translation of such languages as ...

Steve Zdancewic, Andrew C. Myers

claim paper

Read More »

click to vote

FM
2001
Springer

84views Formal Methods» more FM 2001»

Information Flow Control and Applications - Bridging a Gap

14 years 5 days ago

Download www.mais.informatik.tu-darmstadt.de

Heiko Mantel

claim paper

Read More »