670 search results - page 101 / 134 » Software safety: relating software assurance and software in... |
156
click to vote
GPCE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The past decade of experience has demonstrated that the generic programming methodology is highly effective for the design, implementation, and use of large-scale softwar...
157
click to vote
VMCAI
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
155
click to vote
ISMIR
2004
Springer
15 years 11 months ago
2004
Springer
The software sound synthesis is closely related to the Music N programs started with Music I in 1957. Although Music N has many advantages such as unit generators and a flexible ...
161
click to vote
ECBS
2000
IEEE
15 years 10 months ago
2000
IEEE
The design of a large component-based software system typically involves the composition of different components. Instead of relying on a free composition of components, we advoca...
184
click to vote
WCRE
2000
IEEE
15 years 10 months ago
2000
IEEE
Component recovery supports program understanding, architecture recovery, and re-use. Among the best known techniques for detection of re-usable objects (related global variables ...