Search Sciweavers | Sciweavers

6527 search results - page 75 / 1306

» On Typing Information Flow

click to vote

WISTP
2007
Springer

87views Security Privacy» more WISTP 2007»

An Information Flow Verifier for Small Embedded Systems

14 years 1 months ago

Download wistp2007.wistp.org

Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-...

claim paper

Read More »

click to vote

CSFW
2006
IEEE

119views Security Privacy» more CSFW 2006»

Encoding Information Flow in Haskell

14 years 1 months ago

Download www.cis.upenn.edu

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

14 years 1 months ago

Download www.cmss.monash.edu.au

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

claim paper

Read More »

click to vote

SAC
2005
ACM

138views Applied Computing» more SAC 2005»

Towards the prioritization of regression test suites with data flow information

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

ICTAC
2005
Springer

90views Applied Computing» more ICTAC 2005»

Information Flow Is Linear Refinement of Constancy

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers