Algebraic Specifications for OMA REL Licenses.
Nikolaos TriantafyllouIakovos OuranosPetros S. StefaneasPublished in: WiMob (2009)
Keyphrases
- digital content
- digital rights management
- formal specification
- delay insensitive
- databases
- machine learning
- website
- concurrent systems
- algebraic structure
- functional requirements
- algebraic geometry
- database
- transition systems
- asynchronous circuits
- formal language
- higher order
- object oriented
- digital libraries
- search algorithm
- database systems
- high level
- case study
- web services
- knowledge base