5766 search results - page 708 / 1154 » Reverse Engineering of Data |
175
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
187
click to vote
SIGIR
2005
ACM
16 years 11 days ago
2005
ACM
Search engines represent a key component of Web economy these days. Despite that, there is not much technical literature available on their design, fine tuning, and internal oper...
183
click to vote
BTW
2005
Springer
16 years 11 days ago
2005
Springer
: With the increasing popularity of semi-structured documents (particularly in the form of XML) for knowledge management, it is important to create tools that use the additional in...
192
click to vote
EMSOFT
2005
Springer
16 years 10 days ago
2005
Springer
Early applications of smart cards have focused in the area of personal security. Recently, there has been an increasing demand for networked, multi-application cards. In this new ...
194
click to vote
MATES
2005
Springer
16 years 9 days ago
2005
Springer
Independent from specific application domains, similar requirements can be identified regarding information needs during daily work. For coping with generality on the one hand an...