A Control-Flow Analysis for a Calculus of Concurrent Objects.

Paolo Di Blasio Kathleen Fisher Carolyn L. Talcott

Published in: IEEE Trans. Software Eng. (2000)

Keyphrases

flow analysis
information flow
control method
control system
attribute values
forensic analysis
multiple objects
object segmentation
d objects
real time
control strategy
mobile devices
object model
moving objects
target object
three dimensional
computer vision
neural network
databases