4211 search results - page 523 / 843 » Types as Abstract Interpretations |
205
click to vote
ATAL
2007
Springer
16 years 23 days ago
2007
Springer
Agents that must reach agreements with other agents need to reason about how their preferences, judgments, and beliefs might be aggregated with those of others by the social choic...
181
click to vote
MIDDLEWARE
2007
Springer
16 years 22 days ago
2007
Springer
Although there is a large body of research on detection and prevention of such memory corruption attacks as buffer overflow, integer overflow, and format string attacks, the web...
156
click to vote
OSS
2007
Springer
16 years 22 days ago
2007
Springer
Free/Open Source Software (F/OSS) repositories contain valuable data and their usefulness in studying software development and community activities continues to attract a lot of re...
207
click to vote
VEE
2006
ACM
16 years 16 days ago
2006
ACM
One of the most common forms of security attacks involves exploiting a vulnerability to inject malicious code into an executing application and then cause the injected code to be ...
175
click to vote
ICITA
2005
IEEE
16 years 5 days ago
2005
IEEE
Many efforts in past years have been made to lower the linguistic barriers for non-native English speakers to access the Internet. IDNA [2] focuses on access to Internationalized ...