7329 search results - page 1134 / 1466 » Software Architectural Transformation |
170
click to vote
GI
2004
Springer
16 years 3 days ago
2004
Springer
Abstract: Optimizations in compilers are the most error-prone phases in the compilation process. Since correct compilers are a vital precondition for software correctness, it is ne...
184
click to vote
ICFEM
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
185
click to vote
IFM
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
177
click to vote
CSB
2003
IEEE
16 years 1 days ago
2003
IEEE
The problem of clustering continuous valued data has been well studied in literature. Its application to microarray analysis relies on such algorithms as -means, dimensionality re...
164
click to vote
ISCAS
2003
IEEE
16 years 13 hour ago
2003
IEEE
In this paper, we proposed a new scheme to generate photograph slide show with incidental music based on the content of the photographs and music. Unlike existing photograph slide...