391 search results - page 9 / 79 » On Time-Aware Instrumentation of Programs |
72
Voted
ICCS
2003
Springer
15 years 4 months ago
2003
Springer
As computer systems grow in size and complexity, tool support is needed to facilitate the efficient mapping of large-scale applications onto these systems. To help achieve this ma...
87
Voted
HICSS
2002
IEEE
15 years 4 months ago
2002
IEEE
Ideally, software is derived from requirements whose properties have been established as good. However, it is difficult to define and analyze requirements. Moreover, derivation of...
GI
2004
Springer
15 years 5 months ago
2004
Springer
: Knowledge management typically focuses on communicating and spreading information and knowledge within a company. It is usually limited to technology or business information in s...
ACMSE
2008
ACM
15 years 1 months ago
2008
ACM
Software developers are frequently required to address evolving stakeholder concerns, which often result in changes to the source code of an application. Manually performing invas...
103
Voted
RV
2010
Springer
14 years 10 months ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...