9818 search results - page 1852 / 1964 » Much Support and More |
182
click to vote
AFP
2004
Springer
15 years 12 months ago
2004
Springer
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
164
click to vote
AMAI
2004
Springer
15 years 12 months ago
2004
Springer
The majority of the work in the area of Markov decision processes has focused on expected values of rewards in the objective function and expected costs in the constraints. Althou...
151
click to vote
CCS
2004
ACM
15 years 12 months ago
2004
ACM
Address-space randomization is a technique used to fortify systems against bu er over
ow attacks. The idea is to introduce arti cial diversity by randomizing the memory location o...
163
click to vote
CD
2004
Springer
15 years 12 months ago
2004
Springer
Physical boundaries have caused software systems to become less monolithic and more distributed. The trend is progressing to a point where software systems will consist of numerous...
155
click to vote
EMSOFT
2004
Springer
15 years 12 months ago
2004
Springer
One central issue in system structuring and quality prediction is the interdependencies of system modules. This paper proposes a novel technique for determining the operational co...