Sciweavers

809 search results - page 29 / 162
» Requirements by Contracts allow Automated System Testing
Sort
View
BIBE
2006
IEEE
112views Bioinformatics» more  BIBE 2006»
15 years 10 months ago
Finding Correlations in Functionally Equivalent Proteins by Integrating Automated and Visual Data Exploration
The analysis of alignments of functionally equivalent proteins can reveal regularities such as correlated positions or residue patterns which are important to ensure a specific f...
Daniel A. Keim, Daniela Oelke, Royal Truman, Klaus...
MSS
1999
IEEE
150views Hardware» more  MSS 1999»
15 years 8 months ago
Performance Benchmark Results for Automated Tape Library High Retrieval Rate Applications - Digital Check Image Retrievals
Benchmark tests have been designed and conducted for the purpose of evaluating the use of automated tape libraries in on-line digital check image retrieval applications. This type...
John Gniewek, George Davidson, Bowen Caldwell
TASE
2008
IEEE
15 years 4 months ago
Stochastic Modeling of an Automated Guided Vehicle System With One Vehicle and a Closed-Loop Path
Abstract--The use of automated guided vehicles (AGVs) in material-handling processes of manufacturing facilities and warehouses isbecomingincreasinglycommon.AcriticaldrawbackofanAG...
Aykut F. Kahraman, Abhijit Gosavi, Karla J. Oty
JUCS
2006
109views more  JUCS 2006»
15 years 4 months ago
Verifying Real-Time Properties of tccp Programs
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
María Alpuente, María-del-Mar Gallar...
BMCBI
2008
141views more  BMCBI 2008»
15 years 4 months ago
EzArray: A web-based highly automated Affymetrix expression array data management and analysis system
Background: Though microarray experiments are very popular in life science research, managing and analyzing microarray data are still challenging tasks for many biologists. Most m...
Yuerong Zhu, Yuelin Zhu, Wei Xu