Transforming high-level requirements to executable policies for Android.
Abu Talib OthmanMohammad NaumanShahrulniza MusaSohail KhanPublished in: ICUIMC (2014)
Keyphrases
- high level
- low level
- mobile devices
- management policies
- malware detection
- programming language
- higher level
- functional requirements
- smart phones
- low level features
- context aware
- intermediate level
- formal specification
- lower level
- mobile applications
- life cycle
- optimal policy
- database
- mobile phone
- supply chain
- management system
- case study
- website
- artificial intelligence