10633 search results - page 159 / 2127 » Relating Distributed Objects |
SIGSOFT
2000
ACM
15 years 6 months ago
2000
ACM
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...
119
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
One of the most utilized data mining tasks is the search for association rules. Association rules represent significant relationships between items in transactions. We extend the...
110
click to vote
JLP
2010
14 years 8 months ago
2010
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...
117
click to vote
IOLTS
2003
IEEE
15 years 7 months ago
2003
IEEE
We discuss the design of a novel analog checker that monitors two duplicate signals and provides a digital error indication when their absolute difference is unacceptably large. Th...
106
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Abstract--Effective complexity measures the information content of the regularities of an object. It has been introduced by M. Gell-Mann and S. Lloyd to avoid some of the disadvant...