4029 search results - page 407 / 806 » Experience with Software Watermarking |
171
click to vote
VSTTE
2005
Springer
16 years 6 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
184
click to vote
GG
2004
Springer
16 years 3 days ago
2004
Springer
Graphs are well-known, well-understood, and frequently used means to depict networks of related items. They are successfully used as the underlying mathematical concept in various ...
156
click to vote
ICSR
2004
Springer
16 years 3 days ago
2004
Springer
This paper describes a feature modelling technique aimed at modelling the software assets behind a product family. The proposed technique is distinctive in five respects. First, it...
188
click to vote
EUROSYS
2007
ACM
15 years 8 months ago
2007
ACM
Hardware trends suggest that large-scale CMP architectures, with tens to hundreds of processing cores on a single piece of silicon, are iminent within the next decade. While exist...
171
click to vote
WICSA
2001
15 years 8 months ago
2001
Software architecture research focuses on models of software architectures as specified in architecture description languages (ADLs). As research progresses in specific areas of s...