2826 search results - page 136 / 566 » A resource-based analysis of IT sourcing |
152
click to vote
ACSAC
2007
IEEE
15 years 8 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...
104
Voted
CSMR
2005
IEEE
15 years 7 months ago
2005
IEEE
Software developers are constantly required to modify and adapt application features in response to changing requirements. The problem is that just by reading the source code, it ...
114
click to vote
ITCC
2005
IEEE
15 years 7 months ago
2005
IEEE
models evolve at different levels of abstraction, from the requirements specification to development of the source code. The models underlying this process are related and their ...
150
click to vote
PRDC
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper reports our experience on the development of a design-for-safety (DFS) workbench called Risk Assessment and Management Environment (RAME) for microelectronic avionics s...
ASIACRYPT
2005
Springer
15 years 7 months ago
2005
Springer
The XSL “algorithm” is a method for solving systems of multivariate polynomial equations based on the linearization method. It was proposed in 2002 as a dedicated method for ex...