2513 search results - page 328 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
105
Voted
ISSRE
2003
IEEE
15 years 6 months ago
2003
IEEE
Systematic design testing, in which executable models of behaviors are tested using inputs that exercise scenarios, can help reveal flaws in designs before they are implemented i...
FPL
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Hardware realization of kernel loops holds the promise of accelerating the overall application performance and is therefore an important part of the synthesis process. In...
110
Voted
ICSM
2005
IEEE
15 years 6 months ago
2005
IEEE
Clustering layouts of software systems combine two important aspects: they reveal groups of related artifacts of the software system, and they produce a visualization of the resul...
96
Voted
LAWEB
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper we present a model-based approach to integrate dynamic and volatile functionality in Web Applications. Our approach comprises an extension to the OOHDM design method...
LCTRTS
2004
Springer
15 years 6 months ago
2004
Springer
Java Card technology simplifies the development of smart card applications by providing a high-level programming language similar to Java. However, the master-slave programming m...