Sciweavers

SPW
2001
Springer
14 years 1 days ago
Efficient, DoS-Resistant, Secure Key Exchange for Internet Protocols
William Aiello, Steven M. Bellovin, Matt Blaze, Ra...
SAFECOMP
2001
Springer
14 years 2 days ago
Tuning of Database Audits to Improve Scheduled Maintenance in Communication Systems
Abstract. To ensure the consistency of database subsystems involved in communication systems (e.g., telephone systems), appropriate scheduled maintenance policies are necessary. Au...
Stefano Porcarelli, Felicita Di Giandomenico, Amin...
SAFECOMP
2001
Springer
14 years 2 days ago
Modeling the Human in Human Factors
John M. Rushby
SAFECOMP
2001
Springer
14 years 2 days ago
An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models
This paper focuses on the development of a conceptual framework for integrating fault injection mechanisms into the RDD-100 tool2 to support the dependability analysis of computer...
Mohamed Kaâniche, Yannick Le Guédart,...
SAFECOMP
2001
Springer
14 years 2 days ago
About the Design of Distributed Control Systems: The Quasi-Synchronous Approach
Paul Caspi, Christine Mazuet, Natacha Reynaud Pali...
SAFECOMP
2001
Springer
14 years 2 days ago
Designing Safety into Medical Decisions and Clinical Processes
After many years of experimental research software systems to support clinical decisionmaking are now moving into routine clinical practice. Most of the research to date has been ...
John Fox
SAFECOMP
2001
Springer
14 years 2 days ago
Project Experience with IEC 61508 and Its Consequences
The paper reports on the experiences with implementation of IEC 61508 in recent projects with European, North American and Japanese system vendors. The paper describes problems id...
Rainer Faller
OOPSLA
2001
Springer
14 years 2 days ago
Points-To Analysis for Java using Annotated Constraints
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. This information has a wide variety of ...
Atanas Rountev, Ana Milanova, Barbara G. Ryder
OOPSLA
2001
Springer
14 years 2 days ago
The Architecture of a UML Virtual Machine
Dirk Riehle, Steven Fraleigh, Dirk Bucka-Lassen, N...