4184 search results - page 153 / 837 » Names of Our Lives |
104
click to vote
INFOCOM
2005
IEEE
15 years 7 months ago
2005
IEEE
— It is a commonly held belief that IPv6 provides greater security against random-scanning worms by virtue of a very sparse address space. We show that an intelligent worm can ex...
227
Voted
SIGMOD
2009
ACM
16 years 2 months ago
2009
ACM
Named entity recognition aims at extracting named entities from unstructured text. A recent trend of named entity recognition is finding approximate matches in the text with respe...
EUROSYS
2010
ACM
15 years 11 months ago
2010
ACM
In this paper, we propose a management framework for protecting large computer systems against operator mistakes. By detecting and confining mistakes to isolated portions of the ...
NCA
2007
IEEE
15 years 8 months ago
2007
IEEE
Exponentially growing bandwidth requirements and slowing gains in processor speeds have led to the popularity of multiprocessor architectures. Network stack parallelism is increas...
123
Voted
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...