: M-learning is a rapidly expanding recently domain. Provoked by the fast advances of mobile technologies different applications and systems are developed continuously. Here we add...
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
The age of mobile computing with small portable computers is upon us. However, systems researchers continue to focus on transferring their workstation environments to these machin...
Mobile phone can serve as powerful tool for world-wide communication. A system is developed to remotely monitor process through spoken commands using mobile. Mel cepstrum features ...
Naresh P. Jawarkar, Vasif Ahmed, Siddharth A. Ladh...
A system structure for adaptive mobile applications is introduced and discussed, together with a compliant architecture and a prototypic implementation. A methodology is also intr...