Sciweavers

2801 search results - page 97 / 561
» On the Adequateness of the Connection Method
Sort
View
FORTEST
2008
15 years 6 months ago
From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria
This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes a new Reinforced Condition/Decision Coverage (RC/D...
Sergiy A. Vilkomir, Jonathan P. Bowen
AKA
2004
15 years 5 months ago
On Transaction Design for UML Components
: The transaction concept enables the efficient development of concurrent and fault tolerant applications. Transaction services are therefore an essential part of modern component ...
Sten Loecher
WEBNET
2000
15 years 5 months ago
Link Proposals with Case-Based Reasoning Techniques
: In this paper, we will discuss the problem of proposing links for hypertexts based on Case-Based Reasoning (CBR) techniques. These proposals can be used in addition to traditiona...
Ernst Georg Haffner, Andreas Heuer 0002, Uwe Roth,...
BILDMED
2009
155views Algorithms» more  BILDMED 2009»
15 years 5 months ago
Spatio-temporal Analysis of Unstained Cells In-vitro
Abstract. The tracking of individual cells in time-lapse microscopy facilitates the assessment of certain characteristics of different cell types. Since manual tracking of an adequ...
Nico Scherf, Jens-Peer Kuska, Ulf-Dietrich Brauman...
CSDA
2008
86views more  CSDA 2008»
15 years 4 months ago
Transformations for semi-continuous data
Semi-continuous data arise in many applications where naturally-continuous data become contaminated by the data generating mechanism. The resulting data contain several values tha...
Galit Shmueli, Wolfgang Jank, Valerie Hyde