Search Sciweavers | Sciweavers

1527 search results - page 59 / 306

» Demographic information flows

130

click to vote

FM
2001
Springer

84views Formal Methods» more FM 2001»

Information Flow Control and Applications - Bridging a Gap

15 years 10 months ago

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

Heiko Mantel

claim paper

Read More »

133

click to vote

ICFP
2000
ACM

107views Programming Languages» more ICFP 2000»

Information flow inference for free

15 years 10 months ago

Download www.cs.ucla.edu

François Pottier, Sylvain Conchon

claim paper

Read More »

click to vote

MM
2000
ACM

94views Multimedia» more MM 2000»

Associating network flows with user and application information

15 years 10 months ago

Download folk.uio.no

Ralf Ackermann, Utz Roedig, Michael Zink, Carsten ...

claim paper

Read More »

152

click to vote

POPL
1998
ACM

109views Programming Languages» more POPL 1998»

From Polyvariant Flow Information to Intersection and Union Types

15 years 10 months ago

Download www.cs.ucla.edu

Jens Palsberg, Christina Pavlopoulou

claim paper

Read More »

123

click to vote

MPC
1998
Springer

81views Mathematics» more MPC 1998»

A Semantic Approach to Secure Information Flow

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers