759 search results - page 1 / 152 » On formal models for social verification |
KDD
2009
ACM
14 years 4 months ago
2009
ACM
CSFW
2012
IEEE
12 years 1 days ago
2012
IEEE
—Social sign-on and social sharing are becoming an ever more popular feature of web applications. This success is largely due to the APIs and support offered by prominent social ...
DALT
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. We define a framework based on computational logic technology and on a reactive axiomatization of the Event Calculus to formalize the evolution of commitments in time. We...
CSCW
2012
ACM
12 years 5 months ago
2012
ACM
A challenge for many online production communities is to direct their members to accomplish tasks that are important to the group, even when these tasks may not match individual m...
FMCAD
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. In this paper we describe the formal specification and verification of the efficient algorithm for real-time model checking implemented in the model checker RAVEN. It was...