5539 search results - page 82 / 1108 » What can be computed locally |
115
Voted
CONCUR
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we show how a resource-oriented logic, separation logic, can be used to reason about the usage of resources in concurrent programs.
CHI
2009
ACM
15 years 2 months ago
2009
ACM
When an offence occurs, the victim and offender can overcome the harm done through forgiveness. This paper demonstrates how forgiveness can be supported in social system design. W...
133
click to vote
ACL
1990
15 years 2 months ago
1990
Referring expressions and other object descriptions should be maximal under the Local Brevity, No Unnecessary Components, and Lexical Preference preference rules; otherwise, they ...
131
click to vote
ATAL
2011
Springer
14 years 29 days ago
2011
Springer
Distributed systems can often be modeled as a collection of distributed (system) variables whose values are constrained by a set of constraints. In distributed multi-agent systems...
101
click to vote
PODS
2012
ACM
13 years 3 months ago
2012
ACM
Database theory and database practice are typically the domain of computer scientists who adopt what may be termed an algorithmic perspective on their data. This perspective is ve...