5326 search results - page 75 / 1066 » On what we can ensure |
185
click to vote
TARK
2007
Springer
16 years 9 days ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
167
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
Improvement operators is a family of belief change operators that is a generalization of usual iterated belief revision operators. The idea is to relax the success property, so th...
131
click to vote
RE
1995
Springer
15 years 9 months ago
1995
Springer
In an evolving specification, considerable development time and effort is spent handling recurrent inconsistencies. Tools and techniques for detecting and resolving inconsistencie...
131
click to vote
ISVC
2005
Springer
15 years 11 months ago
2005
Springer
This paper suggests to enhance the concept of tool tips by presenting translucent preview bitmaps. The basic idea is to give the user a preview of what would happen when a certain ...
153
click to vote
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
Normative environments are used to regulate multiagent interactions. In business encounters, agents representing business entities make contracts including norms that prescribe wh...