Using Event B to Specify QoS in ODP Enterprise Language.

Hafid Belhaj Youssef Balouki Mohamed Bouhdadi Said El Hajji

Published in: PRO-VE (2010)

Keyphrases

quality of service
programming language
language learning
natural language
knowledge management
event detection
news articles
real time
relational databases
user profiles
machine translation
end to end
resource management
target language
traffic engineering