Login / Signup
A specification and validation method to improve concurrent systems reliability based on object messaging and rewriting logic.
Ammar Attoui
David R. C. Hill
Published in:
ISSRE (1995)
Keyphrases
</>
segmentation method
objective function
detection method
clustering method
significant improvement
concurrent systems
cost function
pairwise
high accuracy
preprocessing
relational databases
neural network
dynamic programming
computational complexity
similarity measure
target object
artificial intelligence