A Java Implementation of a Component Model with Explicit Symbolic Protocols.

Sebastian Pavel Jacques Noyé Pascal Poizat Jean-Claude Royer

Published in: SC@ETAPS (2005)

Keyphrases

mathematical model
computational model
high level
real time
lightweight
neural network model
data sets
database systems
management system
statistical model
experimental data
formal model