1497 search results - page 196 / 300 » Extended static checking |
KBSE
2006
IEEE
15 years 6 months ago
2006
IEEE
The aspect-oriented paradigm allows weaving aspects in different join points of a program. Aspects can modify object fields and method control flow, thus possibly introducing subt...
ECRTS
2005
IEEE
15 years 6 months ago
2005
IEEE
Graphical languages of various sorts are increasingly used for the specification and the design of high-integrity real-time systems. Their coverage however does not extend with a...
HICSS
2005
IEEE
15 years 6 months 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...
115
click to vote
ICCV
2005
IEEE
15 years 6 months ago
2005
IEEE
Most work in action recognition deals with sequences acquired by stationary cameras with fixed viewpoints. Due to the camera motion, the trajectories of the body parts contain no...
SOFTVIS
2005
ACM
15 years 6 months ago
2005
ACM
Software archives contain historical information about the development process of a software system. Using data mining techniques rules can be extracted from these archives. In th...