2513 search results - page 282 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
113
click to vote
ICST
2008
IEEE
15 years 7 months ago
2008
IEEE
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed with the aim of improving the functional software cor...
ECSA
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In this paper, we report on the development of a methodology for the evolution of software towards new architectures. In our approach, we represent source code as graphs....
103
click to vote
LCTRTS
2005
Springer
15 years 6 months ago
2005
Springer
This paper introduces the notion of transparent distribution of real time software components. Transparent distribution means that (1) the functional and temporal behavior of a sy...
101
click to vote
SCAM
2003
IEEE
15 years 6 months ago
2003
IEEE
We characterise a computational model for processing annotated parse trees. The model is basically rewriting-based with specific provisions for dealing with annotations along the...
ASPLOS
2006
ACM
15 years 6 months ago
2006
ACM
Clustered Objects (COs) [1] have been proven to be an effective ion for improving scalability of systems software [2, 3]. But can we devise a programming model that would allow CO...