Sciweavers

801 search results - page 46 / 161
» Robust Software
Sort
View
WER
2004
Springer
14 years 3 months ago
Evaluating Methodologies: A Requirements Engineering Approach Through the Use of an Exemplar
Systems development methodologies continue to be a central area of research in software engineering. As the nature of applications and systems usage move increasingly towards open ...
Luiz Marcio Cysneiros, Vera Werneck, Eric S. K. Yu
SEKE
2004
Springer
14 years 3 months ago
Entering the Heart of Design: Relationships for Tracing Claim Evolution
Designers need guidance in tracing knowledge to support the iterative development of interactive software interfaces. Claims show promise in capturing design knowledge with concis...
Shahtab Wahid, C. F. Allgood, Christa M. Chewar, D...
CCS
2001
ACM
14 years 2 months ago
Dynamic Self-Checking Techniques for Improved Tamper Resistance
We describe a software self-checking mechanism designed to improve the tamper resistance of large programs. The mechanism consists of a number of testers that redundantly test for ...
Bill G. Horne, Lesley R. Matheson, Casey Sheehan, ...
DICS
2006
14 years 20 hour ago
Advances in the Design and Implementation of Group Communication Middleware
Abstract. Group communication is a programming abstraction that allows a distributed group of processes to provide a reliable service in spite of the possibility of failures within...
Daniel C. Bünzli, Rachele Fuzzati, Sergio Men...
SYSTOR
2009
ACM
14 years 2 months ago
Architecture of the internet archive
The Internet Archive is a live production system supporting close to a petabyte of data and delivering an average of 2.3Gb/sec of data to Internet users. We describe the architect...
Elliot Jaffe, Scott Kirkpatrick