854 search results - page 84 / 171 » Addressing Dynamic Issues of Program Model Checking |
116
Voted
POPL
1999
ACM
15 years 7 months ago
1999
ACM
Linking is a low-level task that is usually vaguely specified, if at all, by language definitions. However, the security of web browsers and other extensible systems depends cru...
112
click to vote
UM
2007
Springer
15 years 8 months ago
2007
Springer
One of the main problems of collaborative filtering recommenders is the sparsity of the ratings in the users-items matrix, and its negative effect on the prediction accuracy. This ...
131
Voted
CLIMA
2004
15 years 4 months ago
2004
In this paper we propose a formal specification of a persuasion protocol between autonomous agents using an approach based on social commitments and arguments. In order to be flexi...
132
Voted
SOQUA
2007
15 years 3 months ago
2007
Failure detection is a difficult and often expensive task. The principle of self-healing addresses this cost issue, but poses new research questions. This work focuses on detectin...
120
click to vote
ISSTA
2004
ACM
15 years 8 months ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...