Login / Signup
A formal approach for designing CORBA-based applications.
Alberto Coen-Porisini
Matteo Pradella
Matteo Rossi
Dino Mandrioli
Published in:
ACM Trans. Softw. Eng. Methodol. (2003)
Keyphrases
</>
lightweight
object oriented
computer vision
decision trees
formal model
formal representation
neural network
decision making
image processing
multiresolution
query language
formal specification