42507 search results - page 163 / 8502 » On the analysis of |
162
click to vote
AMAST
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. A general parametric analysis problem which allows the use of parameter variables in both the realtime automata and the specifications is proposed and solved. The analys...
154
click to vote
ICCD
1993
IEEE
15 years 10 months ago
1993
IEEE
Symbolic representations of systems can achieve a high degree of compaction relative to more explicit forms. By casting an analysis task in terms of operations on a symbolic repre...
132
click to vote
ICCL
1992
IEEE
15 years 10 months ago
1992
IEEE
rogram. Our abstract interpretation algorithm may then be used to perform static type analysis. The analysis has applications in detecting probable errors in the PostScript code or...
184
click to vote
CGO
2008
IEEE
15 years 8 months ago
2008
IEEE
Dynamic instrumentation systems are gaining popularity as means of constructing customized program profiling and analysis tools. However, dynamic instrumentation based analysis to...
162
click to vote
APCCM
2006
15 years 8 months ago
2006
This paper provides an overview of ServiceMosaic, which is a platform for model-driven analysis and management of service interactions. In particular, in this paper, we focus on b...