4755 search results - page 583 / 951 » An Implementation Model for Collaborative Applications |
186
click to vote
IPPS
1996
IEEE
15 years 11 months ago
1996
IEEE
We introduce dag consistency, a relaxed consistency model for distributed shared memory which is suitable for multithreaded programming. We have implemented dag consistency in sof...
178
click to vote
ENTCS
2006
15 years 6 months ago
2006
XML-centric models of computation have been proposed as an answer to the demand for interoperability, heterogeneity and openness in coordination models. We present a prototype imp...
294
click to vote
ICDE
2001
IEEE
16 years 8 months ago
2001
IEEE
Current workflow management technology does not provide adequate means for inter-workflow coordination as concurrently executing workflows are considered completely independent. W...
193
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
182
click to vote
VIZSEC
2004
Springer
16 years 3 days ago
2004
Springer
The analysis of the vast storehouse of email content accumulated or produced by individual users has received relatively little attention other than for specific tasks such as spa...