Search Sciweavers | Sciweavers

1995 search results - page 85 / 399

» Belief in Information Flow

click to vote

FCT
2005
Springer

82views Applied Computing» more FCT 2005»

A Type System for Computationally Secure Information Flow

14 years 2 months ago

Download www.cs.ut.ee

Peeter Laud, Varmo Vene

claim paper

Read More »

click to vote

ICTAC
2005
Springer

70views Applied Computing» more ICTAC 2005»

On Typing Information Flow

14 years 2 months ago

Download ftp-sop.inria.fr

Abstract. We investigate the issue of typing conﬁdentiality in a languagebased information-ﬂow security approach, aiming at improving some previously proposed type systems, esp...

Gérard Boudol

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 2 months ago

Download profs.sci.univr.it

Fausto Spoto

claim paper

Read More »

click to vote

MIDDLEWARE
2005
Springer

79views Distributed And Parallel Com...» more MIDDLEWARE 2005»

I-RMI: Performance Isolation in Information Flow Applications

14 years 2 months ago

Download www.cc.gatech.edu

A problem with many distributed applications is their behavior in lieu of unpredictable variations in user request volumes or in available resources. This paper explores a performa...

Mohamed S. Mansour, Karsten Schwan

claim paper

Read More »

click to vote

INFOCOM
2003
IEEE

109views Communications» more INFOCOM 2003»

Measuring performance of ad hoc networks using timescales for information flow

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers