Sciweavers

3341 search results - page 230 / 669
» Managing a Large
Sort
View
CONEXT
2007
ACM
15 years 10 months ago
A quicker way to discover nearby peers
The match between a peer-to-peer overlay and the physical Internet infrastructure is a constant issue. Time-constrained peer-to-peer applications such as live streaming systems ar...
Gwendal Simon, Yiping Chen, Ali Boudani
ACSAC
2001
IEEE
15 years 10 months ago
Mining Alarm Clusters to Improve Alarm Handling Efficiency
It is a well-known problem that intrusion detection systems overload their human operators by triggering thousands of alarms per day. As a matter of fact, we have been asked by on...
Klaus Julisch
PADL
2009
Springer
16 years 7 months ago
Toward a Practical Module System for ACL2
Abstract. Boyer and Moore's ACL2 theorem prover combines firstorder applicative Common Lisp with a computational, first-order logic. While ACL2 has become popular and is being...
Carl Eastlund, Matthias Felleisen
EUSFLAT
2007
102views Fuzzy Logic» more  EUSFLAT 2007»
15 years 8 months ago
Fuzzy Multiagent Distributed Assembly Chart Planning in Agriculture
Agriculture in Russia has some specifics such as large distribution, inclement climate and big market competition. Appearing of resources-economy, precision and management technol...
E. Tikhonov
IH
2009
Springer
16 years 1 months ago
Hardware-Based Public-Key Cryptography with Public Physically Unclonable Functions
Abstract. A physically unclonable function (PUF) is a multiple-input, multipleoutput, large entropy physical system that is unreproducible due to its structural complexity. A publi...
Nathan Beckmann, Miodrag Potkonjak