1615 search results - page 210 / 323 » Distributed Forward Checking |
144
Voted
SLS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This work presents an algorithm for the sub-graph isomorphism problem based on a new pruning technique for directed graphs. During the tree search, the method checks if a...
118
Voted
TLCA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
ICDCSW
2005
IEEE
15 years 8 months ago
2005
IEEE
— In this paper, we propose a new approach called MAFIC (MAlicious Flow Identification and Cutoff) to support adaptive packet dropping to fend off DDoS attacks. MAFIC works by j...
101
Voted
ICDCSW
2005
IEEE
15 years 8 months ago
2005
IEEE
We present a set of graphical user interface elements, called widgets, for 2-dimensional visual codes. The proposed widgets are suitable for printing on paper as well as showing o...
113
click to vote
ICPADS
2005
IEEE
15 years 8 months ago
2005
IEEE
The Internet has become a key instrument for establishing and promoting product brands. Companies are very interested in detecting any misuse of their logos, plagiarism, grey impo...