111 search results - page 21 / 23 » Automatic Ada Code Generation Using a Model-Driven Engineeri... |
71
Voted
CGO
2005
IEEE
15 years 3 months ago
2005
IEEE
In this work, we develop a secret sharing based compiler solution to achieve confidentiality, integrity and availability (intrusion tolerance) of critical data together, rather th...
107
Voted
ISSRE
2008
IEEE
15 years 3 months ago
2008
IEEE
Systems connected to the Internet are highly susceptible to denial-of-service attacks that can compromise service availability, causing damage to customers and providers. Due to e...
ISSTA
2006
ACM
15 years 3 months ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
KBSE
2007
IEEE
15 years 3 months ago
2007
IEEE
Effective bug localization is important for realizing automated debugging. One attractive approach is to apply statistical techniques on a collection of evaluation profiles of pr...
AOSD
2007
ACM
15 years 1 months ago
2007
ACM
This paper proposes an approach called SCoPE, which supports user-defined analysis-based pointcuts in aspect-oriented programming (AOP) languages. The advantage of our approach is...