222 search results - page 39 / 45 » Experiences Reverse Engineering Manually |
JCIT
2010
13 years 2 months ago
2010
Time plays important roles in Web search, because most Web pages contain time information and a lot of Web queries are time-related. However, traditional search engines such as Go...
FDL
2008
IEEE
14 years 2 months ago
2008
IEEE
Constraint-based random simulation is state-of-the-art in verification of multi-million gate industrial designs. This method is based on stimulus generation by constraint solving...
LOCA
2009
Springer
14 years 2 months ago
2009
Springer
With proliferation of ubiquitous computing, digital access is facing an increasing risk since unauthorized client located at any place may intrude a local server. Location Based Ac...
CCS
2003
ACM
14 years 1 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
SIGIR
2012
ACM
11 years 10 months ago
2012
ACM
People are seldom aware that their search queries frequently mismatch a majority of the relevant documents. This may not be a big problem for topics with a large and diverse set o...