1757 search results - page 6 / 352 » Alternating Refinement Relations |
AMT
2010
Springer
13 years 11 months ago
2010
Springer
One of the major problems for search at Web scale is that the search results on the large scale data might be huge and the users have to browse to find the most relevant ones. Plus...
FTRTFT
1994
Springer
14 years 1 months ago
1994
Springer
We specify the black box behavior of dataflow components by characterizing the relation between their input and their output histories. We distinguish between three main classes of...
APSEC
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper investigates data-refinement by backward simulation for specifications whose semantics is given by partial relations. The standard model-theoretic approach is based on ...
SAFECOMP
1998
Springer
14 years 1 months ago
1998
Springer
: This paper presents a process for the stepwise refinement of safety code assertions from identified system hazards. The code assertions are intended for use in system safety veri...
BMCBI
2011
13 years 4 months ago
2011
Background: Computational analysis of metagenomes requires the taxonomical assignment of the genome contigs assembled from DNA reads of environmental samples. Because of the diver...