1707 search results - page 94 / 342 » A Computational Model for Arguments Understanding |
158
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. The resource calculus is an extension of the λ-calculus allowing to model resource consumption. Namely, the argument of a function comes as a finite multiset of resourc...
125
click to vote
SP
2009
IEEE
15 years 11 months ago
2009
IEEE
We present two machine-checked proofs of the existential unforgeability under adaptive chosen-message attacks of the Full Domain Hash signature scheme. These proofs formalize the ...
136
click to vote
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a new bisimulation theory for parametric polymorphism which enables straightforward coinductive proofs of program equivalences involving existential types. The...
118
click to vote
AP2PC
2005
Springer
15 years 9 months ago
2005
Springer
We analyze a mechanism that provides strong incentives for the submission of truthful feedback in virtual communities where services are exchanged on a peer-to-peer basis. Lying pe...
143
click to vote
EUC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. With the increasing globalization of economy and consequent increasing in the inter and intra organizational competitiveness, the role of groups in organizations and busi...