Sciweavers

177 search results - page 23 / 36
» A Practical Generic Privacy Language
Sort
View
109
Voted
OOPSLA
2009
Springer
15 years 10 months ago
A type and effect system for deterministic parallel Java
Today’s shared-memory parallel programming models are complex and error-prone. While many parallel programs are intended to be deterministic, unanticipated thread interleavings ...
Robert L. Bocchino Jr., Vikram S. Adve, Danny Dig,...
115
Voted
CCS
2005
ACM
15 years 9 months ago
Control-flow integrity
Current software attacks often build on exploits that subvert machine-code execution. The enforcement of a basic safety property, Control-Flow Integrity (CFI), can prevent such at...
Martín Abadi, Mihai Budiu, Úlfar Erl...
152
Voted
SICHERHEIT
2010
15 years 1 months ago
A Fuzzy Model for IT Security Investments
: This paper presents a fuzzy set based decision support model for taking uncertainty into account when making security investment decisions for distributed systems. The proposed m...
Guido Schryen
SDE
1991
15 years 7 months ago
A Configurable Framework for Method and Tool Integration
There is an urgent need to provide a sound generic framework for method and tool integration, where many differing notations are used, software development is distributed and mana...
Jeff Kramer, Anthony Finkelstein
130
Voted
OOPSLA
2009
Springer
15 years 10 months ago
Enhancing source-level programming tools with an awareness of transparent program transformations
Programs written in managed languages are compiled to a platform-independent intermediate representation, such as Java bytecode. The relative high level of Java bytecode has engen...
Myoungkyu Song, Eli Tilevich