Sciweavers

8810 search results - page 364 / 1762
» Openness
Sort
View
EDCC
2006
Springer
15 years 10 months ago
Automatically Finding and Patching Bad Error Handling
Bad error handling is the cause of many service outages. We address this problem by a novel approach to detect and patch bad error handling automatically. Our approach uses error ...
Martin Süßkraut, Christof Fetzer
ERCIMDL
2006
Springer
134views Education» more  ERCIMDL 2006»
15 years 10 months ago
OAI-PMH Architecture for the NASA Langley Research Center Atmospheric Science Data Center
We present the architectural decisions involved in adding an Open Archives Initiative Protocol for Metadata Harvesting (OAI-PMH) interface to the NASA Langley Research Center Atmos...
Churngwei Chu, Walter E. Baskin, Juliet Z. Pao, Mi...
EUROCRYPT
2006
Springer
15 years 10 months ago
The Security of Triple Encryption and a Framework for Code-Based Game-Playing Proofs
We show that, in the ideal-cipher model, triple encryption (the cascade of three independently-keyed blockciphers) is more secure than single or double encryption, thereby resolvin...
Mihir Bellare, Phillip Rogaway
IWSAS
2000
Springer
15 years 10 months ago
An Architecture for Self-Adaptation and Its Application to Aerial Image Understanding
Abstract. Certain problems in which the environment is not well constrained do not lend themselves to a conventional open loop solution. Image understanding is such a problem domai...
Paul Robertson
174
Voted
POPL
1995
ACM
15 years 10 months ago
A Type System Equivalent to Flow Analysis
Flow-based safety analysis of higher-order languages has been studied by Shivers, and Palsberg and Schwartzbach. Open until now is the problem of finding a type system that accep...
Jens Palsberg, Patrick O'Keefe