647 search results - page 13 / 130 » Collage, composites, construction |
EMSOFT
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
ICWS
2007
IEEE
14 years 11 months ago
2007
IEEE
The semantic web promises to bring automation to the areas of web service discovery, composition and invocation. In order to realize these beneļ¬ts, rich semantic descriptions of...
105
click to vote
ICWS
2009
IEEE
14 years 7 months ago
2009
IEEE
MapReduce has recently gained a lot of attention as a parallel programming model for scalable data-intensive business and scientific analysis. In order to benefit from this powerf...
ICCBR
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present a form of case-based reuse conducive to the cooperation of multiple CBR agents in problem solving. First, we present a form of constructive adaptation for conļ...
108
click to vote
IACR
2011
13 years 9 months ago
2011
A zero-knowledge protocol allows a prover to convince a veriļ¬er of the correctness of a statement without disclosing any other information to the veriļ¬er. It is a basic tool a...