3107 search results - page 347 / 622 » Error-Correcting Source Code |
136
click to vote
ICSEA
2006
IEEE
15 years 10 months ago
2006
IEEE
— Currently there are different approaches to develop fault-tolerant embedded software: implementing the system from scratch or using libraries respectively specialized hardware....
137
click to vote
WCRE
2006
IEEE
15 years 10 months ago
2006
IEEE
Programming is modeling the reality. Most of the times, the mapping between source code and the real world concepts is captured implicitly in the names of identifiers. Making the...
108
click to vote
AAECC
2006
Springer
15 years 10 months ago
2006
Springer
This paper addresses the problem of threshold traitor tracing for digital content where, by embedding appropriate digital patterns into the distributed content, it is possible to t...
164
click to vote
ADHOCNOW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Current in-network programming protocols for sensor networks allow an attacker to gain control of the network or disrupt its proper functionality by disseminating malicio...
150
click to vote
RSP
2005
IEEE
15 years 9 months ago
2005
IEEE
Our software synthesis tool, CSP++, generates C++ source code from verifiable CSPm specifications, and includes a framework for runtime execution. Our technique of selective for...