4008 search results - page 679 / 802 » An expressive language of signatures |
178
click to vote
COORDINATION
2009
Springer
16 years 7 months ago
2009
Springer
A future is a well-known programming construct used to introduce concurrency to sequential programs. Computations annotated as futures are executed asynchronously and run concurren...
190
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Pseudo-code descriptions of STMs assume sequentially consistent program execution and atomicity of high-level STM operations like read, write, and commit. These assumptio...
166
click to vote
KDD
2006
ACM
16 years 6 months ago
2006
ACM
Temporal patterns composed of symbolic intervals are commonly formulated with Allen's interval relations originating in temporal reasoning. This representation has severe dis...
156
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
Significant effort has been invested in developing expressive and flexible access-control languages and systems. However, little has been done to evaluate these systems in practic...
148
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
This study examines the acceptance and usability of an animated conversational agent designed to establish longterm relationships with older, mostly minority adult users living in...