3052 search results - page 35 / 611 » On the Verification of the Gravity Model Used for Mobility M... |
ICIP
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents a novel technique for 2D human motion estimation using a single non calibrated camera. The user’s five crucial human features (head, hands and feet) are ext...
ACSD
2001
IEEE
13 years 11 months ago
2001
IEEE
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
GLOBECOM
2009
IEEE
14 years 2 months ago
2009
IEEE
—With the evolution of mobile devices and networks, and the growing trend of mobile Internet access, rich, multi-player gaming using mobile devices, similar to PC-based Internet ...
AINA
2004
IEEE
13 years 11 months ago
2004
IEEE
IEEE 802.1x and authentication server based security protocols are mainly used for enhancing security of wireless networks. In this paper, we specify PAP and EAP-MD5 based securit...
KBSE
1999
IEEE
13 years 12 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...