6 search results - page 1 / 2 » Static extraction of sound hierarchical runtime object graph... |
TLDI
2009
ACM
14 years 2 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...
OOPSLA
2009
Springer
14 years 9 days 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,...
KBSE
2010
IEEE
13 years 4 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...
IBPRIA
2005
Springer
13 years 11 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...
KBSE
2007
IEEE
14 years 1 days 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...