464 search results - page 43 / 93 » Enjoy the Paper: Lexicology |
102
Voted
CHI
2010
ACM
14 years 11 months ago
2010
ACM
People share pictures online to increase their social presence. However, recent studies have shown that most of the content shared in social networks is not looked at by peers. Pr...
102
Voted
JUCS
2010
14 years 11 months ago
2010
Abstract: In Service-Oriented Computing (SOC) environments, service clients interact with service providers for consuming services. From the viewpoint of service clients, the trust...
120
click to vote
RE
2010
Springer
14 years 11 months ago
2010
Springer
Abstract The generation of traceability links or traceability matrices is vital to many software engineering activities. It is also person-power intensive, time-consuming, error-pr...
96
Voted
SCN
2010
Springer
14 years 11 months ago
2010
Springer
Group signatures is a powerful primitive with many practical applications, allowing a group of parties to share a signature functionality, while protecting the anonymity of the si...
114
Voted
TCS
2010
14 years 11 months ago
2010
The paper contains the first complete proof of strong normalization (SN) for full second order linear logic (LL): Girard’s original proof uses a standardization theorem which i...