3052 search results - page 51 / 611 » On the Verification of the Gravity Model Used for Mobility M... |
ECIS
2003
13 years 9 months ago
2003
Current mobile business models for mobile commerce do not seem promising with regard to substantial revenue streams for mobile network operators as well as mobile service provider...
AAAI
2012
11 years 10 months ago
2012
For interaction with its environment, a robot is required to learn models of objects and to perceive these models in the livestreams from its sensors. In this paper, we propose a ...
CAV
2003
Springer
13 years 11 months ago
2003
Springer
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...
TPHOL
1998
IEEE
13 years 12 months ago
1998
IEEE
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...
PUC
2008
13 years 7 months ago
2008
This paper investigates text entry on mobile devices using only five-key. Primarily to support text entry on smaller devices than mobile phones, this method can also be used to max...