Search Sciweavers | Sciweavers

This paper presents an embedded security sublanguage for enforcing information-ﬂow policies in the standard Haskell programming language. The sublanguage provides useful informa...

Peng Li, Steve Zdancewic

claim paper

Read More »

click to vote

INFOCOM
2005
IEEE

89views Communications» more INFOCOM 2005»

Flow control as stochastic optimal control problem with incomplete information

15 years 7 months ago

Download www.cmss.monash.edu.au

B. Miller, Konstantin Avrachenkov, K. Stepanyan, G...

claim paper

Read More »

127

click to vote

SAC
2005
ACM

138views Applied Computing» more SAC 2005»

Towards the prioritization of regression test suites with data flow information

15 years 7 months ago

Download cs.allegheny.edu

Regression test prioritization techniques re-order the execution of a test suite in an attempt to ensure that defects are revealed earlier in the test execution phase. In prior wo...

Matthew J. Rummel, Gregory M. Kapfhammer, Andrew T...

claim paper

Read More »

click to vote

FCT
2005
Springer

82views Applied Computing» more FCT 2005»

A Type System for Computationally Secure Information Flow

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers