29152 search results - page 439 / 5831 » A Model of Computation for MapReduce |
164
click to vote
IJCAI
2003
15 years 9 months ago
2003
Society needs humor, not just for entertainment. In the Web age, presentations become more and more flexible and personalized and they will require hu mor contributions for elec...
205
click to vote
ISTA
2003
15 years 9 months ago
2003
: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic ...
188
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...
199
click to vote
IANDC
2008
15 years 7 months ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
201
click to vote
IJCAT
2006
15 years 7 months ago
2006
: This article contributes to a growing body of design patterns in interaction design for cooperative work, while also describing how to go from field studies to design patterns. I...