Java Based Co-Verification of Expedited Mobile Device.
Sherif G. AlyAshraf M. SalemPublished in: IWSOC (2003)
Keyphrases
- mobile devices
- context aware
- model checking
- face verification
- lightweight
- signature verification
- mobile phone
- mobile networks
- mobile applications
- location aware
- smart phones
- learning activities
- high security
- asynchronous circuits
- remote server
- formal verification
- mobile web
- real time
- formal analysis
- mobile computing
- mobile users
- data collection
- databases