2703 search results - page 419 / 541 » Learning operational requirements from goal models |
285
click to vote
GIS
2009
ACM
16 years 8 months ago
2009
ACM
In this paper we present algorithms for automatically generating a road network description from aerial imagery. The road network inforamtion (RNI) produced by our algorithm inclu...
261
click to vote
SOSP
2009
ACM
16 years 3 months 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...
211
click to vote
CODASPY
2012
14 years 2 months ago
2012
Main stream operating system kernels lack a strong and reliable mechanism for identifying the running processes and binding them to the corresponding executable applications. In t...
227
click to vote
SCS
2004
15 years 8 months ago
2004
Industry is increasingly adopting software and system safety standards that mandate the use of hazard logs in the development and operation of safety critical systems. Hazard logs...
175
Voted
UML
2005
Springer
16 years 13 days ago
2005
Springer
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...