Personalization through Specification Refinement and Composition.

Dmitry O. Briukhov Leonid A. Kalinichenko Nikolay A. Skvortsov

Published in: DELOS (2001)

Keyphrases

user modeling
high level
context aware
user profiles
formal specification
web services composition
software engineering
formal verification
music composition
metadata
user defined
information filtering
web service composition
asynchronous circuits
customer retention