888 search results - page 118 / 178 » The Power of Temporal Proofs |
PTS
2007
14 years 11 months ago
2007
Black-box testing is a popular technique for assessing the quality of a system. However, in case of a test failure, only little information is available to identify the root-cause ...
JEC
2006
14 years 9 months ago
2006
This paper shows that even very small data caches, when split to serve data streams exhibiting temporal and spatial localities, can improve performance of embedded applications wit...
106
click to vote
LOGCOM
2000
14 years 9 months ago
2000
The product of two modal logics L1 and L2 is the modal logic determined by the class of frames of the form FG such that F and G validate L1 and L2, respectively. This paper proves...
ISCI
2002
14 years 9 months ago
2002
Video information processing has been one of great challenging areas in the database community since it needs huge amount of storage space and processing power. In this paper, we ...
JANCL
2002
14 years 9 months ago
2002
We investigate the major mathematical theories of space from a modal standpoint: topology, affine geometry, metric geometry, and vector algebra. This allows us to see new fine-str...