2299 search results - page 221 / 460 » Logical Data Expiration |
175
click to vote
CSL
2009
Springer
16 years 1 months ago
2009
Springer
For programs whose data variables range over boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. I...
174
click to vote
DATE
2007
IEEE
16 years 27 days ago
2007
IEEE
1 The increasing test data volume needed to test core-based System-on-Chip contributes to long test application times (TAT) and huge automatic test equipment (ATE) memory requireme...
174
click to vote
ICDE
2007
IEEE
16 years 26 days ago
2007
IEEE
The ability to query data streams is of increasing importance and has been identified as a crucial element for modern organizations and agencies. This paper identifies a class o...
136
click to vote
IFSA
2007
Springer
16 years 21 days ago
2007
Springer
Typically the response of a multilayered perceptron (MLP) network on points which are far away from the boundary of its training data is not very reliable. When test data points ar...
157
click to vote
TIME
2005
IEEE
16 years 4 days ago
2005
IEEE
This paper presents an XML-based approach to implementing the parametric model of temporal databases. In the parametric model, attribute values are functions of time and the entir...