7865 search results - page 1505 / 1573 » Large correlation analysis |
169
Voted
ZUM
1997
Springer
15 years 8 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
216
click to vote
SIGIR
1992
ACM
15 years 7 months ago
1992
ACM
ct We describe work on the visualization of bibliographic data and, to aid in this task, the application of numerical techniques for multidimensional scaling. Many areas of scienti...
143
click to vote
FPCA
1989
15 years 7 months ago
1989
We give a framework for denotational semantics for the polymorphic “core” of the programming language ML. This framework requires no more semantic material than what is needed...
149
click to vote
ACSAC
2007
IEEE
15 years 7 months ago
2007
IEEE
Relay nodes are a potential threat to networks since they are used in many malicious situations like stepping stone attacks, botnet communication, peer-to-peer streaming etc. Quic...
175
click to vote
CASES
2007
ACM
15 years 7 months ago
2007
ACM
We propose a technique which leverages configurable data caches to address the problem of cache interference in multitasking embedded systems. Data caches are often necessary to p...