394 search results - page 11 / 79 » Composing Specifications |
ICASSP
2008
IEEE
14 years 4 months ago
2008
IEEE
This paper proposes a new class of lifting wavelet transform which can guarantee losslessness of specific signals, e.g. white balance. The 5/3 wavelet transform composed of two li...
APN
2008
Springer
14 years 2 days ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
APWEB
2005
Springer
14 years 3 months ago
2005
Springer
Complex structure and varying requirements increase the difficulties in developing domain specific Web Information Systems. People appeal to a smart tool to customize Web Informati...
CIA
2006
Springer
14 years 1 months ago
2006
Springer
There is great promise in the idea of having agent or web services available on the internet, that can be flexibly composed to achieve more complex services, which can themselves t...
EUROPAR
2007
Springer
14 years 1 months ago
2007
Springer
Skeletal parallel programming enables us to develop parallel programs easily by composing ready-made components called skeletons. However, a simplycomposed skeleton program often l...