1199 search results - page 233 / 240 » Software Verification and Software Engineering a Practitione... |
110
click to vote
EGOV
2008
Springer
15 years 3 months ago
2008
Springer
In this paper we present a framework for identifying the test focus and test objectives based on the assumption that automatic information processing based on encoded meaning is th...
DGO
2007
15 years 3 months ago
2007
To keep a network of enterprises sustainable, inter-organizational control measures are needed to detect or prevent opportunistic behaviour of network participants. We present a m...
176
click to vote
KRDB
2003
15 years 3 months ago
2003
We report about some preliminary issues from the DFG project “Description Logics and Spatial Reasoning” (“DLS”, DFG Grant NE 279/8-1), one of whose goals is to develop a p...
114
click to vote
ENTCS
2010
14 years 11 months ago
2010
Our goal is to provide a top-down approach to biomolecular computation. In spite of widespread discussion about connections between biology and computation, one question seems not...
121
click to vote
TASLP
2010
14 years 8 months ago
2010
In this paper, the issue of audio source separation from a single channel is addressed, i.e. the estimation of several source signals from a single observation of their mixture. Th...