3268 search results - page 271 / 654 » Structured Service Composition |
147
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...
204
click to vote
TWC
2010
15 years 1 months ago
2010
In this paper, we study multi-hop non-regenerative multiple-input multiple-output (MIMO) relay communications with any number of hops. We design the optimal source precoding matrix...
170
click to vote
ACL
2011
14 years 10 months ago
2011
This paper presents an attempt at building a large scale distributed composite language model that simultaneously accounts for local word lexical information, mid-range sentence s...
333
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
Wikis have proved enormously successful as a means to collaborate in the creation and publication of textual information. At the same time, a large number of curated databases hav...
146
click to vote
IPPS
2006
IEEE
16 years 19 days ago
2006
IEEE
In this paper, we study dynamic protocol update (DPU). Contrary to local code updates on-the-fly, DPU requires global coordination of local code replacements. We propose a novel ...