517 search results - page 50 / 104 » Specification transformers: a predicate transformer approach... |
184
click to vote
SEW
2005
IEEE
15 years 12 months ago
2005
IEEE
Compared with texts, graphs are more intuitive to express comparative and structural information. Many graphical approaches, however, lack a formal basis for precise specification...
178
click to vote
FASE
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Software architecture constitutes a promising approach to the development of large-scale distributed systems, but architecture description languages (ADLs) and their asso...
166
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
In this study we propose a new approach for selective encryption in the Huffman coding of the Discrete Cosine Transform (DCT) coefficients using the Advanced Encryption Standard (...
177
click to vote
ICIP
2000
IEEE
16 years 7 months ago
2000
IEEE
This paper presents a method for the reconstruction of a regularlysampled image from its irregularly-spaced samples. Such reconstruction is often needed in image processing and co...
140
click to vote
ICCD
1994
IEEE
15 years 10 months ago
1994
IEEE
Systems for multi-level logic optimization are usually based on a set of specialized, loosely-related transformations which work on a network representation. The sequence of trans...