163 search results - page 14 / 33 » Composition Theorems in Communication Complexity |
DEBS
2008
ACM
14 years 11 months ago
2008
ACM
Automatic service composition is an active research area in the field of service computing. This paper presents a distributed approach to automatically discover a composition of s...
80
Voted
CAISE
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The proliferation of interconnected computing devices is fostering the emergence of environments where Web services made available to mobile users are a commodity. Unfort...
TAPSOFT
1997
Springer
15 years 1 months ago
1997
Springer
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...
SAS
2010
Springer
14 years 8 months ago
2010
Springer
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
107
click to vote
PVG
2003
IEEE
15 years 2 months ago
2003
IEEE
Parallel volume rendering offers a feasible solution to the large data visualization problem by distributing both the data and rendering calculations among multiple computers con...