5015 search results - page 883 / 1003 » Model Checking a Path |
101
click to vote
GLOBECOM
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— Ultra wideband technology shows promise for precision ranging due to its fine time resolution to resolve multipath fading and the presence of lower frequencies in the ...
122
Voted
GLOBECOM
2006
IEEE
15 years 8 months ago
2006
IEEE
— We study the downlink coverage of a base station terminal (BST), which has access to a relay node. Continuing a previous study in which the BST is assumed to provide a variable...
122
Voted
HICSS
2006
IEEE
15 years 8 months ago
2006
IEEE
While previous research has provided a great deal of information on individual factors that play a role in IT implementation success, a gap in the research exists when it comes to...
117
click to vote
ICPP
2006
IEEE
15 years 8 months ago
2006
IEEE
— Due to resource scarcity, a paramount concern in ad hoc networks is to utilize the limited resources efficiently. The self-organized nature of ad hoc networks makes the social...
102
click to vote
ICRA
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents an architecture for solving generically the problem of extracting the constraints of a given task in a programming by demonstration framework and the problem...