Sciweavers

1937 search results - page 108 / 388
» Starting B Specifications from Use Cases
Sort
View
BMCBI
2008
146views more  BMCBI 2008»
15 years 4 months ago
EST Express: PHP/MySQL based automated annotation of ESTs from expression libraries
Background: Several biological techniques result in the acquisition of functional sets of cDNAs that must be sequenced and analyzed. The emergence of redundant databases such as U...
Robin P. Smith, William J. Buchser, Marcus B. Lemm...
CVPR
2004
IEEE
16 years 6 months ago
Affine Image Registration Using a New Information Metric
We present a new information metric for multimodality image registration. The metric is technically a pseudometric since it satisfies the properties, i) nonnegativity, ii) symmetr...
Jie Zhang, Anand Rangarajan
AIR
2002
125views more  AIR 2002»
15 years 4 months ago
Interactive Critiquing for Catalog Navigation in E-Commerce
E-commerce sites can have large, essentially unbounded, catalogs. With large catalogs comes increasing difficulty for buyers in making use of standard search and browsing faciliti...
Robin D. Burke
RE
2006
Springer
15 years 4 months ago
Exposing Tacit Knowledge via Pre-Requirements Tracing
Pre-requirements specification tracing concerns the identification and maintenance of relationships between requirements and the knowledge and information used by analysts to info...
Andrew Stone, Peter Sawyer
148
Voted
ICWE
2005
Springer
15 years 10 months ago
The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...
Marco Brambilla, Alin Deutsch, Liying Sui, Victor ...