626 search results - page 68 / 126 » Correct Composition of Design Components |
108
click to vote
NOSSDAV
2005
Springer
15 years 5 months ago
2005
Springer
Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components ...
CHES
2001
Springer
15 years 4 months ago
2001
Springer
This paper describes an algorithm and architecture based on an extension of a scalable radix-2 architecture proposed in a previous work. The algorithm is proven to be correct and t...
204
click to vote
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
A fundamental problem in information integration is that of designing the relationships, called schema mappings, between two schemas. The specification of a semantically correct sc...
CASCON
2007
15 years 1 months ago
2007
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. In contrast, Web services a...
ASPDAC
2007
ACM
15 years 3 months ago
2007
ACM
Turbo decoding architectures have greater error correcting capability than any other known code. Due to their excellent performance turbo codes have been employed in several trans...