6 search results - page 1 / 2 » Static extraction of sound hierarchical runtime object graph... |
98
Voted
TLDI
2009
ACM
15 years 10 months ago
2009
ACM
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...
208
Voted
OOPSLA
2009
Springer
15 years 7 months ago
2009
Springer
An object diagram makes explicit the object structures that are only implicit in a class diagram. An object diagram may be missing and must extracted from the code. Alternatively,...
119
Voted
KBSE
2010
IEEE
14 years 11 months ago
2010
IEEE
We present a semi-automated approach, Secoria, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Typecheckable a...
126
Voted
IBPRIA
2005
Springer
15 years 6 months ago
2005
Springer
In this paper, we propose a new method to extract moving objects from a video stream without any motion estimation. The objective is to obtain a method robust to noise, large motio...
94
Voted
KBSE
2007
IEEE
15 years 7 months ago
2007
IEEE
Ownership domain annotations enable obtaining at compiletime the system’s execution structure from the annotated program. The execution structure is sound, hierarchical (and thu...