Information about health, disease or environmental conditions is increasingly becoming available. We investigate the suitability of using mobile phones as an interface to provide ...
Main topic of this work is development of educational games that can be used on mobile devices. Paper describes a novel approach to educational game defining and interpretation. I...
Milos Milovanovic, Miroslav Minovic, Miroslav Lazo...
Abstract. Abstract interpretation is a particularly well-suited methodology to build modular correctness proof of static analysers. Proof modularity becomes essential when correctn...
Abstract. Through recent developments in the segment of mobile devices like personal digital assistants (PDA) the usage of mobile applications in different areas of our normal lif...
The primary goal of people accessing the Web from mobile phones is to find specific pieces of information (PoI, hereinafter), not to surf. Welldesigned sites for mobile users help ...