Search Sciweavers | Sciweavers

4731 search results - page 23 / 947

» Securing Interactive Programs

click to vote

OOPSLA
1999
Springer

81views Security Privacy» more OOPSLA 1999»

Reducing Transfer Delay Using Java Class File Splitting and Prefetching

13 years 11 months ago

Download www.cs.ucsb.edu

The proliferation of the Internet is fueling the development of mobile computing environments in which mobile code is executed on remote sites. In such environments, the end user ...

Chandra Krintz, Brad Calder, Urs Hölzle

claim paper

Read More »

click to vote

JAR
2006

99views more JAR 2006»

An Integrated Approach to High Integrity Software Verification

13 years 7 months ago

Download www.macs.hw.ac.uk

Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...

Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderi...

claim paper

Read More »

click to vote

ACSAC
1996
IEEE

104views Security Privacy» more ACSAC 1996»

Formal Techniques for an ITSEC-E4 Secure Gateway

13 years 11 months ago

Download www.cert.fr

In this paper we describe the method used to develop a gateway capable of meeting the ITSEC E4 requirements. The security policy was formally modelled and proven consistent with t...

Pierre Bieber

claim paper

Read More »

click to vote

POPL
1990
ACM

88views Programming Languages» more POPL 1990»

Interaction Nets

13 years 11 months ago

Download www.dcs.gla.ac.uk

Yves Lafont

claim paper

Read More »