3688 search results - page 199 / 738 » Static analysis of aspects |
185
click to vote
HCI
2009
15 years 4 months ago
2009
In this paper we propose the method of multimodal corpus analysis to collect enough empirical data for modeling the behavior of embodied conversational agents. This is a prerequisi...
176
click to vote
CSMR
2006
IEEE
16 years 19 days ago
2006
IEEE
Understanding large software systems is simplified when a combination of techniques for static and dynamic analysis is employed. Effective dynamic analysis requires that executio...
163
click to vote
HICSS
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...
194
click to vote
LCPC
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...
149
click to vote
AMAST
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a separate compositional analysis for objectoriented languages. We show how a generic static analysis of a context that uses an object can be split into two se...