Sciweavers

1051 search results - page 100 / 211
» group 2009
Sort
View
146
Voted
SFM
2009
Springer
150views Formal Methods» more  SFM 2009»
15 years 10 months ago
Contract-Based Discovery and Composition of Web Services
In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behaviour...
Mario Bravetti, Gianluigi Zavattaro
124
Voted
CANDC
2009
ACM
15 years 10 months ago
A quantitative analysis of the collective creativity in playing 20-questions games
Creativity is an important ingredient in problem solving, and problem solving is an important activity for both individuals and societies. This paper discusses our novel approach ...
Wen Dong, Taemie Kim, Alex Pentland
CANDC
2009
ACM
15 years 10 months ago
Predicting successful completion of online collaborative animation projects
Online creative collaboration projects are started every day, but many fail to produce new artifacts of value. In this poster, we address the question of why some of these project...
Kurt Luther, Kevin Ziegler, Kelly E. Caine, Amy Br...
103
Voted
DOCENG
2009
ACM
15 years 10 months ago
Differential synchronization
This paper describes the Differential Synchronization (DS) method for keeping documents synchronized. The key feature of DS is that it is simple and well suited for use in both no...
Neil Fraser
114
Voted
HT
2009
ACM
15 years 10 months ago
Comparing spatial hypertext collections
This paper proposes an approach to comparison of spatial hypertext collections which avoids becoming entangled in complexities of version management and merging. We also propose a...
J. Nathan Matias, David P. Williams