Java Based Co-Verification of Expedited Mobile Device Collaboration.
Sherif G. AlyAshraf M. SalemPublished in: Embedded Systems and Applications (2003)
Keyphrases
- mobile devices
- context aware
- model checking
- mobile learning
- collaborative problem solving
- location aware
- lightweight
- mobile phone
- learning activities
- mobile agents
- collective intelligence
- information exchange
- location based services
- web environment
- cross disciplinary
- signature verification
- knowledge sharing
- information sharing
- knowledge management
- collaborative learning
- geographically dispersed
- genetic algorithm
- small screen
- rich media
- formal verification
- face verification
- online learning
- information systems