2004 search results - page 294 / 401 » Comparison of Model Checking Tools for Information Systems |
165
click to vote
KCAP
2003
ACM
15 years 9 months ago
2003
ACM
Tools for filtering the World Wide Web exist, but they are hampered by the difficulty of capturing user preferences in such a diverse and dynamic environment. Recommender systems ...
178
click to vote
WCRE
1999
IEEE
15 years 8 months ago
1999
IEEE
Java applets have been used increasingly on web sites to perform client-side processing and provide dynamic content. While many web site analysis tools are available, their focus ...
171
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
Writes via unchecked pointer dereferences rank high among vulnerabilities most often exploited by malicious code. The most common attacks use an unchecked string copy to cause a b...
140
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Programming forums are becoming the primary tools for programmers to find answers for their programming problems. Our empirical study of popular programming forums shows that the...
130
click to vote
KES
2007
Springer
15 years 10 months ago
2007
Springer
Localization is one of the important topics in robotics and it is essential to execute a mission. Most problems in the class of localization are due to uncertainties in the modelin...