638 search results - page 18 / 128 » Quality of Name Resolution in the Domain Name System |
CAV
1999
Springer
13 years 12 months ago
1999
Springer
Abstract. In this paper we extend one of the main tools used in veri cation of discrete systems, namely Binary Decision Diagrams (BDD), to treat probabilistic transition systems. W...
IJCNN
2007
IEEE
14 years 1 months ago
2007
IEEE
— Serious efforts to develop computerized systems for natural language understanding and machine translation have taken place for more than half a century. Some successful system...
DATE
2010
IEEE
14 years 22 days ago
2010
IEEE
—In order to solve the challenges in processor design for the next generation wireless communication systems, this paper first proposes a system level design flow for communicati...
SIGMOD
2009
ACM
14 years 7 months ago
2009
ACM
Entity Resolution (ER) is an important real world problem that has attracted significant research interest over the past few years. It deals with determining which object descript...
IICS
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. The Domain Name System (DNS) has been the naming service of the Internet for more than 20 years. It is the foundation of virtually all other distributed service. The deï¬...