374 search results - page 67 / 75 » Applying Static Analysis to Software Architectures |
QOSA
2010
Springer
14 years 12 days ago
2010
Springer
Using model-to-model transformations to generate analysis models or code from architecture models is sought to promote compliance and reuse of components. The maintainability of tr...
ETFA
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper describes the development of a multi-robot system for Area Reduction in Humanitarian Demining. In spite of the specific requirements imposed to the work being carried ...
CLEF
2005
Springer
14 years 2 months ago
2005
Springer
This paper describes the development of a question answering system for monolingual and cross-lingual tasks for the languages English and German. We developed the question answeri...
CGO
2010
IEEE
14 years 3 months ago
2010
IEEE
The linear scan algorithm for register allocation provides a good register assignment with a low compilation overhead and is thus frequently used for just-in-time compilers. Altho...
AOSD
2009
ACM
14 years 3 months ago
2009
ACM
Many aspects for runtime monitoring are history-based: they contain pieces of advice that execute conditionally, based on the observed execution history. History-based aspects are...