Sciweavers

93 search results - page 19 / 19
» Typing Concurrent Objects and Actors
Sort
View
MSS
1999
IEEE
150views Hardware» more  MSS 1999»
13 years 9 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
IANDC
2007
152views more  IANDC 2007»
13 years 5 months ago
The reactive simulatability (RSIM) framework for asynchronous systems
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...
Michael Backes, Birgit Pfitzmann, Michael Waidner
BMCBI
2005
86views more  BMCBI 2005»
13 years 5 months ago
Confirmation of human protein interaction data by human expression data
Background: With microarray technology the expression of thousands of genes can be measured simultaneously. It is well known that the expression levels of genes of interacting pro...
Andreas Hahn, Jörg Rahnenführer, Priti T...