2913 search results - page 579 / 583 » How Much to Copy |
158
Voted
ICLP
2011
Springer
14 years 4 months ago
2011
Springer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...
138
click to vote
JAIR
2011
14 years 3 months ago
2011
There has been significant recent interest in game theoretic approaches to security, with much of the recent research focused on utilizing the leader-follower Stackelberg game mo...
124
Voted
MSR
2011
ACM
14 years 3 months ago
2011
ACM
A good understanding of the impact of different types of bugs on various project aspects is essential to improve software quality research and practice. For instance, we would ex...
138
click to vote
POPL
2011
ACM
14 years 3 months ago
2011
ACM
ensitivity has emerged as an excellent context abstraction for points-to analysis in object-oriented languages. Despite its practical success, however, object-sensitivity is poorl...
138
click to vote
SIGMOD
2011
ACM
14 years 3 months ago
2011
ACM
Probabilistic database systems have successfully established themselves as a tool for managing uncertain data. However, much of the research in this area has focused on efficient...