4029 search results - page 173 / 806 » Experience with Software Watermarking |
165
click to vote
ATVA
2008
Springer
15 years 6 months ago
2008
Springer
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
105
click to vote
HCI
2007
15 years 6 months ago
2007
Within the eEurope2010 initiative “An Information Society for All”, development methods which enable the inclusion of the end-user become essential in order to ensure the parad...
135
click to vote
IASTEDSE
2004
15 years 6 months ago
2004
Inspections are an established quality assurance technique. In order to optimize the inspection approach, different reading techniques, such as checklist-based reading and scenari...
127
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
We describe our experiences in using Spin to verify parts of the Multi Purpose Daemon (MPD) parallel process management system. MPD is a distributed collection of processes connect...
147
click to vote
SIMPRA
1998
15 years 4 months ago
1998
The paper deals with a unified environment for the design and implementation of control schemes. The widely used MATLAB-SIMULINK is used for control scheme description. The imple...