2631 search results - page 248 / 527 » Software Development with Code Maps |
128
Voted
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...
197
Voted
SOSP
2009
ACM
16 years 16 days ago
2009
ACM
We present ClearView, a system for automatically patching errors in deployed software. ClearView works on stripped Windows x86 binaries without any need for source code, debugging...
116
Voted
GW
2007
Springer
15 years 9 months ago
2007
Springer
This paper presents the development of methods for gesture control of sound spatialization. It provides a comparison of seven popular software spatialization systems from a control...
132
Voted
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
This report summarizes the results and discussions from the 11th Workshop on Aspect-Oriented Modeling (AOM). The workshop was held in conjunction with the International Conference ...
129
Voted
KBSE
2006
IEEE
15 years 9 months ago
2006
IEEE
The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level,...