4764 search results - page 363 / 953 » Applications of Error-Control Coding |
150
click to vote
VEE
2006
ACM
15 years 9 months ago
2006
ACM
One of the most common forms of security attacks involves exploiting a vulnerability to inject malicious code into an executing application and then cause the injected code to be ...
118
click to vote
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
127
click to vote
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
A way of combining object-oriented and structural paradigms of software composition is demonstrated in a tool for generative programming. Metaclasses are introduced that are compon...
124
click to vote
ACHI
2008
IEEE
15 years 9 months ago
2008
IEEE
—This paper analyzes the benefit and the limitations of using a particular biometric technology “namely face authentication” for banking applications. We present first the ge...
131
click to vote
AINA
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, we present a tool allowing the design of orchestration at a high level of abstraction. This tool also allows specifying security properties, also in an way, as anno...