Search Sciweavers | Sciweavers

6293 search results - page 68 / 1259

» Information Flow Testing

click to vote

FM
2001
Springer

84views Formal Methods» more FM 2001»

Information Flow Control and Applications - Bridging a Gap

14 years 2 months ago

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

Heiko Mantel

claim paper

Read More »

click to vote

ICFP
2000
ACM

107views Programming Languages» more ICFP 2000»

Information flow inference for free

14 years 2 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

14 years 2 months ago

Download folk.uio.no

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

claim paper

Read More »

click to vote

POPL
1998
ACM

109views Programming Languages» more POPL 1998»

From Polyvariant Flow Information to Intersection and Union Types

14 years 2 months ago

Download www.cs.ucla.edu

Jens Palsberg, Christina Pavlopoulou

claim paper

Read More »

click to vote

MPC
1998
Springer

81views Mathematics» more MPC 1998»

A Semantic Approach to Secure Information Flow

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers