4029 search results - page 58 / 806 » Experience with Software Watermarking |
CSSE
2008
IEEE
14 years 4 months ago
2008
IEEE
Embedded technology is in rapid progress in recent years. The teaching contents and the experimental platforms should be updated according to the embedded technology. It is a huge...
SAFECOMP
2001
Springer
14 years 2 months ago
2001
Springer
The paper reports on the experiences with implementation of IEC 61508 in recent projects with European, North American and Japanese system vendors. The paper describes problems id...
ECMDAFA
2009
Springer
13 years 7 months ago
2009
Springer
Domain-specific modeling solutions have been promoted for some time in order to improve the productivity of software developers by providing them with modeling environments that ar...
ICSE
2009
IEEE-ACM
13 years 7 months ago
2009
IEEE-ACM
This paper presents experiments realized by Airbus on model checking a safety critical system, lessons learnt and ways forward to extend the industrial use of formal verification ...
IJCCBS
2010
13 years 8 months ago
2010
: The overall safety integrity of a safety critical system, comprising both software and hardware, is typically specified quantitatively, e.g., in terms of failure rates. However, ...