2513 search results - page 398 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
111
click to vote
ACSAC
2007
IEEE
15 years 4 months ago
2007
IEEE
We present an extension of traditional "black box" fuzz testing using a genetic algorithm based upon a Dynamic Markov Model fitness heuristic. This heuristic allows us t...
IROS
2007
IEEE
15 years 4 months ago
2007
IEEE
— Standard methods to model multibody systems are aimed at systems with configuration spaces isomorphic to Rn . This limitation leads to singularities and other artifacts in cas...
PRDC
2007
IEEE
15 years 4 months ago
2007
IEEE
Model-based development has become state of the art in software engineering. Unfortunately, the used code generators often focus on the pure application functionality. Features li...
FSEN
2007
Springer
15 years 4 months ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
SEKE
2007
Springer
15 years 4 months ago
2007
Springer
In this paper, we attempt to study and investigate ontology development and maintenance frameworks from a domain-centric point of view. By frameworks we mean the structures which ...