3052 search results - page 50 / 611 » On the Verification of the Gravity Model Used for Mobility M... |
TSMC
2010
13 years 2 months ago
2010
We propose a new dynamic model which can be used within blob trackers to track the target's center of gravity. A strong point of the model is that it is designed to track a va...
TCS
2002
13 years 7 months ago
2002
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents results from a study of mobile ticketing service acceptance in public transportation. The theoretical background of the study was drawn from technology accepta...
FORTE
2010
13 years 9 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
—This paper addresses context issues in pervasive mobile computing and presents a semantic context model to support location based cooperative mobile applications. In this paper,...