Sciweavers

278 search results - page 31 / 56
» A Phase-Based Approach to Creating Highly Reliable Software
Sort
View
ICSE
2003
IEEE-ACM
14 years 7 months ago
Improving Web Application Testing with User Session Data
Web applications have become critical components of the global information infrastructure, and it is important that they be validated to ensure their reliability. Therefore, many ...
Sebastian G. Elbaum, Srikanth Karre, Gregg Rotherm...
VL
2005
IEEE
159views Visual Languages» more  VL 2005»
14 years 1 months ago
Executable Visual Contracts
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
Marc Lohmann, Stefan Sauer, Gregor Engels
BMCBI
2007
153views more  BMCBI 2007»
13 years 7 months ago
Can Clustal-style progressive pairwise alignment of multiple sequences be used in RNA secondary structure prediction?
Background: In ribonucleic acid (RNA) molecules whose function depends on their final, folded three-dimensional shape (such as those in ribosomes or spliceosome complexes), the se...
Amelia B. Bellamy-Royds, Marcel Turcotte
IAT
2007
IEEE
14 years 1 months ago
Robustness of a Spoken Dialogue Interface for a Personal Assistant
Although speech recognition systems have become more reliable in recent years, they are still highly error-prone. Other components of a spoken language dialogue system must then b...
Anna Wong, Anh Nguyen, Wayne Wobcke
CLUSTER
2002
IEEE
14 years 15 days ago
A New Architecture for Secure Carrier-Class Clusters
Traditionally, the telecom industry has used clusters to meet its carrier-class requirements of high availability, reliability, and scalability, while relying on cost-effective ha...
Makan Pourzandi, Ibrahim Haddad, Charles Levert, M...