1169 search results - page 177 / 234 » Two Ways to Common Knowledge |
EVOW
2012
Springer
13 years 5 months ago
2012
Springer
This paper presents HyFlex, a software framework for the development of cross-domain search methodologies. The framework features a common software interface for dealing with diff...
WSDM
2010
ACM
15 years 7 months ago
2010
ACM
Online social networks are now a popular way for users to connect, express themselves, and share content. Users in today's online social networks often post a profile, consis...
111
click to vote
VMCAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
ICDCSW
2005
IEEE
15 years 3 months ago
2005
IEEE
The problem of spam is a classic “tragedy of the commons” [10]. We propose the Zmail protocol as a way to preserve email as a “free” common resource for most users, while ...
APSEC
1998
IEEE
15 years 2 months ago
1998
IEEE
The number of endusers using the Internet increases on the inside and outside of offices. Enduser-initiative development of applications has become important for automation of the...