1615 search results - page 210 / 323 » Distributed Forward Checking |
170
click to vote
SLS
2007
Springer
15 years 11 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...
139
click to vote
TLCA
2007
Springer
15 years 11 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...
95
Voted
ICDCSW
2005
IEEE
15 years 10 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...
124
click to vote
ICDCSW
2005
IEEE
15 years 10 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...
138
Voted
ICPADS
2005
IEEE
15 years 10 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...