3384 search results - page 127 / 677 » More Testable Properties |
ICDE
2008
IEEE
14 years 10 months ago
2008
IEEE
Abstract- Data streams of real numbers are generated naturally in many applications. The technology of online subsequence searching in data streams becomes more and more important ...
ICDE
2008
IEEE
14 years 10 months ago
2008
IEEE
Self-managing solutions have recently attracted a lot of interest from the database community. The need for self-* properties is more evident in distributed applications comprising...
ICPR
2008
IEEE
14 years 10 months ago
2008
IEEE
Texture segmentation is an effortless process in scene analysis, yet its mechanisms have not been sufficiently understood. A common assumption in most current approaches is that t...
WWW
2003
ACM
14 years 9 months ago
2003
ACM
More and more resources are becoming available on the Web, and there is a growing need for infrastructures that, based on advertised descriptions, are able to semantically match d...
DAC
2009
ACM
14 years 3 months ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...