4029 search results - page 194 / 806 » Experience with Software Watermarking |
154
Voted
ESE
1998
15 years 4 months ago
1998
Software inspection is an e ective method of defect detection. Recent research activity has considered the development of tool support to further increase the e ciency and e ectiv...
149
click to vote
IEE
2010
15 years 3 months ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
159
click to vote
ESEM
2010
ACM
15 years 3 months ago
2010
ACM
The power and the generality of the findings obtained through empirical studies are bounded by the number and type of participating subjects. In software engineering, obtaining a ...
171
click to vote
REFSQ
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. [Context and motivation] With increasing use of software, quality attributes grow in relative importance. Robustness is a software quality attribute that has not received...
162
click to vote
DAC
2002
ACM
16 years 6 months ago
2002
ACM
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...