1413 search results - page 128 / 283 » Bisimilarity of Open Terms |
173
click to vote
KCAP
2003
ACM
15 years 12 months ago
2003
ACM
Humans naturally share knowledge by telling stories. This is a form of knowledge exchange we engage in right from early childhood, and over time we learn to recall, order and orga...
171
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
Endowing agents with “social rationality” [10, 12, 11] can aid overall efficiency in tasks where cooperation is beneficial to system level performance. However it is difficult...
185
click to vote
EAGC
2003
Springer
15 years 12 months ago
2003
Springer
In the paper we aim to describe the project developing the Migrating Desktop infrastructure for the mobile users in a simple way. We also focus on the development testbed, which i...
213
click to vote
HT
1993
ACM
15 years 10 months ago
1993
ACM
Traditional concurrency control techniques for database systems (transaction management based on locking protocols) have been successful in many multiuser settings, but these tech...
154
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
We report on our ongoing practical experience in designing, implementing, and deploying PTIME, a personalized agent for time management and meeting scheduling in an open, multi-ag...