Sciweavers

1792 search results - page 260 / 359
» Requirements Capture with RCAT
Sort
View
SODA
2004
ACM
89views Algorithms» more  SODA 2004»
15 years 7 months ago
Interpolation search for non-independent data
We define a deterministic metric of "well-behaved data" that enables searching along the lines of interpolation search. Specifically, define to be the ratio of distance...
Erik D. Demaine, Thouis R. Jones, Mihai Patrascu
SCS
2003
15 years 7 months ago
A Contract-based Approach to Designing Safe Systems
Architectural based approaches to designing software are motivating changes in the way software is developed for safety-critical systems. These new approaches allow developers to d...
Iain Bate, Richard Hawkin, John A. McDermid
WM
2003
15 years 7 months ago
Managing Organizational Risk Knowledge
: Risk planning requires an organization global view, as it is strongly centered in the experience and knowledge acquired in former projects. The larger the experience of the proje...
Luciana Landa Farias, Guilherme Horta Travassos, A...
AAAI
1997
15 years 7 months ago
A Script-Based Approach to Modifying Knowledge Bases
Our goal is to build knowledge acquisition tools that support users in modifying knowledge-based systems. These modi cations may require several individual changes to various comp...
Yolanda Gil, Marcelo Tallis
PICS
2000
15 years 7 months ago
A Portable Image Analysis System for Performing In Situ Image Quality Measurements
Traditionally, quantitative image quality analytical methods rely on large hardware in fixed installations. There are many situations when portability is required, where these met...
David Wolin, Yair Kipman