1805 search results - page 255 / 361 » Modelling SIGNAL in Interaction Categories |
85
Voted
SIGSOFT
2008
ACM
15 years 11 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
74
Voted
WWW
2008
ACM
15 years 11 months ago
2008
ACM
Social media such as Web forum often have dense interactions between user and content where network models are often appropriate for analysis. Joint non-negative matrix factorizat...
WWW
2004
ACM
15 years 11 months ago
2004
ACM
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...
76
Voted
KDD
2007
ACM
15 years 10 months ago
2007
ACM
We propose frameworks and algorithms for identifying communities in social networks that change over time. Communities are intuitively characterized as "unusually densely kni...
WSDM
2010
ACM
15 years 5 months ago
2010
ACM
Two-sided markets arise when two different types of users may realize gains by interacting with one another through one or more platforms or mediators. We initiate a study of the...