7920 search results - page 1341 / 1584 » The Swarm Application Framework |
190
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Given the increasing dependence of our societies on networked information systems, the overall security of these systems should be measured and improved. Existing security metrics...
159
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
One of the key issues with the practical applicability of Proof-Carrying Code (PCC) and its related methods is the difficulty in communicating the proofs which are inherently larg...
237
click to vote
ITP
2010
15 years 8 months ago
2010
Lebesgue integration is a fundamental concept in many mathematical theories, such as real analysis, probability and information theory. Reported higher-order-logic formalizations o...
282
click to vote
CICLING
2008
Springer
15 years 8 months ago
2008
Springer
An N-gram language model aims at capturing statistical word order dependency information from corpora. Although the concept of language models has been applied extensively to handl...
210
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Finding biological entities (such as genes or proteins) that satisfy certain conditions from texts is an important and challenging task in biomedical information retrieval and tex...