436 search results - page 3 / 88 » Honeypots: concepts, approaches, and challenges |
IFM
2009
Springer
13 years 3 months ago
2009
Springer
Abstract. The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved u...
AGILEDC
2009
IEEE
13 years 10 months ago
2009
IEEE
— Team politics complicate software projects. They cause internal conflicts that can not only cost a software team time and money, but may also detract from the needs of the prod...
ECIR
2006
Springer
13 years 6 months ago
2006
Springer
Genomic IR, characterized by its highly specific information need, severe synonym and polysemy problem, long term name and rapid growing literature size, is challenging IR communit...
IJAMC
2008
13 years 5 months ago
2008
The vision of a "3D Web" as a combination of massive online virtual environments and today's WWW currently attracts a lot of attention. While it provides a multitude...
DLOG
2004
13 years 6 months ago
2004
We present algorithms based on truth-prefixed tableaux to solve both Concept Abduction and Contraction in ALN DL. We also analyze the computational complexity of the problems, sho...