1382 search results - page 228 / 277 » Formal Analysis of Online Algorithms |
165
click to vote
SEKE
2010
Springer
15 years 2 months ago
2010
Springer
Given the bytecode of a software system, is it possible to automatically generate attack signatures that reveal its vulnerabilities? A natural solution would be symbolically execu...
215
click to vote
CLIMA
2011
14 years 4 months ago
2011
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
129
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
Web processes must often operate in volatile environments where the quality of service parameters of the participating service providers change during the life time of the process...
150
click to vote
CIKM
2004
Springer
15 years 10 months ago
2004
Springer
With the overwhelming volume of online news available today, there is an increasing need for automatic techniques to analyze and present news to the user in a meaningful and effi...
152
click to vote
JAIR
2008
15 years 4 months ago
2008
In order for agents to act on behalf of users, they will have to retrieve and integrate vast amounts of textual data on the World Wide Web. However, much of the useful data on the...