Sciweavers

661 search results - page 73 / 133
» What Can We Expect from Program Verification
Sort
View
WORDS
2002
IEEE
14 years 1 months ago
On Aspect-Orientation in Distributed Real-time Dependable Systems
The design and implementation of distributed real-time dependable systems is often dominated by non-functional considerations like timeliness, object placement and fault tolerance...
Andreas Gal, Olaf Spinczyk, Wolfgang Schröder...
ENTCS
2008
64views more  ENTCS 2008»
13 years 8 months ago
General Refinement, Part Two: Flexible Refinement
In the previous, companion, paper [13] to this paper we introduced our general model of refinement, discussed ideas around determinism and interfaces that the general definition r...
Steve Reeves, David Streader
ICSE
2005
IEEE-ACM
14 years 8 months ago
Automatic discovery of API-level exploits
We argue that finding vulnerabilities in software components is different from finding exploits against them. Exploits that compromise security often use several low-level details...
Vinod Ganapathy, Sanjit A. Seshia, Somesh Jha, Tho...
IOR
2006
91views more  IOR 2006»
13 years 8 months ago
Robust One-Period Option Hedging
The paper considers robust optimization to cope with uncertainty about the stock return process in one period option hedging problems. The robust approach relates portfolio choice ...
Frank Lutgens, Jos F. Sturm, Antoon Kolen
TIC
2000
Springer
110views System Software» more  TIC 2000»
14 years 9 days ago
Safe and Flexible Dynamic Linking of Native Code
Abstract. We present the design and implementation of the first complete framework for flexible and safe dynamic linking of native code. Our approach extends Typed Assembly Languag...
Michael W. Hicks, Stephanie Weirich, Karl Crary