3792 search results - page 222 / 759 » Techniques for Trusted Software Engineering |
190
click to vote
ERLANG
2003
ACM
15 years 11 months ago
2003
ACM
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are present...
152
click to vote
JPDC
2006
15 years 6 months ago
2006
We introduce Virtual Leashing,1 a new technique for software protection and control. The leashing process removes small fragments of code, pervasive throughout the application, an...
144
click to vote
DIGRA
2005
Springer
16 years 2 days ago
2005
Springer
Challenge and conflict are elements that all game designers strive to engineer into their games. Research shows that challenge is what drives a high proportion of games players ye...
151
click to vote
ICSR
2004
Springer
15 years 12 months ago
2004
Springer
In component-based product populations, variability has to be described at the component level to be able to benefit from a product family approach. As a consequence, composition ...
162
click to vote
EUROSYS
2009
ACM
16 years 3 months ago
2009
ACM
In a Multi-Variant Execution Environment (MVEE), several slightly different versions of the same program are executed in lockstep. While this is done, a monitor compares the behav...