2935 search results - page 275 / 587 » An Integrated Approach to High Integrity Software Verificati... |
198
click to vote
MATES
2004
Springer
15 years 12 months ago
2004
Springer
Most of the Agent-Oriented software engineering methodologies that have been developed in the last years tend to propose a model-based approach to software development. To be put i...
156
click to vote
CCS
2007
ACM
16 years 24 days ago
2007
ACM
This paper presents a new approach to dynamically monitoring operating system kernel integrity, based on a property called state-based control-flow integrity (SBCFI). Violations ...
177
click to vote
INFOVIS
2005
IEEE
16 years 6 days ago
2005
IEEE
Exploratory visualization environments allow users to build and browse coordinated multiview visualizations interactively. As the number of views and amount of coordination increa...
172
click to vote
ENTCS
2010
15 years 6 months ago
2010
Component based development allows to build software upon existing components and promises to improve software reuse and reduce costs. To gain reliability of a component based sys...
201
click to vote
ICSM
2006
IEEE
16 years 19 days ago
2006
IEEE
Programming languages provide various mechanisms to support information hiding. One problem with information hiding, however, is that providing a stable interface behind which to ...