2513 search results - page 335 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
103
click to vote
ICST
2009
IEEE
15 years 7 months ago
2009
IEEE
Java PathFinder (JPF) is a popular model checker for Java programs. JPF was used to generate object graphs as test inputs for object-oriented programs. Specifically, JPF was used...
IWPC
2003
IEEE
15 years 6 months ago
2003
IEEE
Many applications have one or more important modules that are written in a language other than conventional procedural or object oriented languages. These languages are often tran...
102
click to vote
AOSE
2001
Springer
15 years 5 months ago
2001
Springer
A key challenge for agent-oriented software engineering is to develop and implement open systems composed of interacting autonomous agents. On the one hand, there is a need for pe...
99
Voted
HIPEAC
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. This paper presents remote store programming (RSP), a programming paradigm which combines usability and efficiency through the exploitation of a simple hardware mechanism...
115
click to vote
EUROMICRO
2009
IEEE
15 years 7 months ago
2009
IEEE
— The usage of dynamic languages is increasing among developers. As components are static entities, the usage of scripting languages, which are usually dynamically typed and inte...