4029 search results - page 548 / 806 » Experience with Software Watermarking |
148
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
In this research, we investigated the everyday life of inpatients in a hospital. We found that family members want to meet with inpatients even if they are very busy with their wo...
164
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...
150
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
Modeling is a technique used extensively in industry to define software systems, the UML being the most prominent example. With the increased use of modeling techniques has come t...
180
click to vote
DAC
2006
ACM
15 years 10 months ago
2006
ACM
Security and reliability in processor based systems are concerns requiring adroit solutions. Security is often compromised by code injection attacks, jeopardizing even `trusted so...
151
click to vote
ESA
2006
Springer
15 years 10 months ago
2006
Springer
We address the problem of sorting in the presence of faults that may arbitrarily corrupt memory locations, and investigate the impact of memory faults both on the correctness and ...