6800 search results - page 659 / 1360 » Testing with Functions as Specifications |
186
click to vote
FAC
2008
15 years 7 months ago
2008
The Mondex case study about the specification and refinement of an electronic purse as defined in the Oxford Technical Monograph PRG-126 has recently been proposed as a challenge f...
220
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: New analysis methods are being developed to integrate data from transcriptome, proteome, interactome, metabolome, and other investigative approaches. At the same time,...
222
click to vote
CONCURRENCY
2006
15 years 7 months ago
2006
In this paper we propose a Grid Workflow Infrastructure, which serves as the base for specifying and executing collaborative interactive workflows within computational grids. The ...
234
Voted
PE
2008
Springer
15 years 7 months ago
2008
Springer
TCP-based data flows generate packets and ACKs in two directions, be it in the wireline or wireless networks. In the latter case, packets are typically found in the downlink where...
151
click to vote
NAR
2006
15 years 7 months ago
2006
The mitochondrial genome, contained in the subcellular mitochondrial network, encodes a small number of peptides pivotal for cellular energy production. Mitochondrialgenesarehighl...