5550 search results - page 931 / 1110 » Different Approaches to Proof Systems |
180
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Name ambiguity is a special case of identity uncertainty where one person can be referenced by multiple name variations in different situations or even share the same name with ot...
164
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Data-driven web applications are usually structured in three tiers with different programming models at each tier. This division forces developers to manually partition applicatio...
163
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
In this paper, we propose a new user interface to interactively specify Web wrappers to extract relational information from Web documents. In this study, we focused on improving u...
173
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
Automatic protocol reverse engineering has recently received significant attention due to its importance to many security applications. However, previous methods are all limited in...
142
click to vote
HPCA
2009
IEEE
16 years 7 months ago
2009
IEEE
The benefits of Out of Order (OOO) processing are well known, as is the effectiveness of predicated execution for unpredictable control flow. However, as previous research has dem...