8141 search results - page 449 / 1629 » Higher Order Generalization |
184
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
We consider the following basic question: a source node wishes to stream an ordered sequence of packets to a collection of receivers, which are distributed among a number of clust...
186
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...
182
click to vote
WAW
2009
Springer
16 years 1 months ago
2009
Springer
We consider a random subgraph Gp of a host graph G formed by retaining each edge of G with probability p. We address the question of determining the critical value p (as a function...
171
click to vote
WEBI
2009
Springer
16 years 1 months ago
2009
Springer
The World Wide Web has transformed into an environment where users both produce and consume information. In order to judge the validity of information, it is important to know how...
169
click to vote
FC
2009
Springer
16 years 1 months ago
2009
Springer
Attackers compromise web servers in order to host fraudulent content, such as malware and phishing websites. While the techniques used to compromise websites are widely discussed a...