2661 search results - page 489 / 533 » Model Checking Performability Properties |
MOBIHOC
2010
ACM
13 years 7 months ago
2010
ACM
In this paper, we address the problem of preserving generated data in a sensor network in case of node failures. We focus on the type of node failures that have explicit spatial s...
ICC
2009
IEEE
13 years 7 months ago
2009
IEEE
In this paper, we propose a cross-layer design (CLD) scheme combining rate adaptation and four types of hybrid automatic repeat request (HARQ) for multiband orthogonal frequency di...
ICMCS
2009
IEEE
13 years 7 months ago
2009
IEEE
In this paper a novel method for view independent human movement representation and recognition, exploiting the rich information contained in multi-view videos, is proposed. The bi...
ICRA
2009
IEEE
13 years 7 months ago
2009
IEEE
In previous studies on 4-DOF parallel mechanisms with four sub-chains, only symmetric arrangement of those four chains connected to the top plate was considered. Such symmetric sha...
ICWSM
2009
13 years 7 months ago
2009
With an increasing number of people that read, write and comment on blogs, the blogosphere has established itself as an essential medium of communication. A fundamental characteri...