3899 search results - page 503 / 780 » Argumentation for Access Control |
148
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— Robots’ interaction with humans raises new issues for geometrical reasoning where the humans must be taken explicitly into account. We claim that a human-aware motion system ...
177
click to vote
LANOMS
2007
IEEE
16 years 1 months ago
2007
IEEE
—Wireless Mesh Networks (WMN) are emerging as a flexible and low-cost alternative to provide digital inclusion through multi-hop communications, supporting applications from las...
161
click to vote
VTC
2007
IEEE
16 years 29 days ago
2007
IEEE
—Evolved UTRA (EUTRA) is currently under study by 3GPP standards organizations as a long term evolution (LTE) for current generation Universal Terrestrial Radio Access (UTRA) net...
161
click to vote
HASE
2007
IEEE
16 years 28 days ago
2007
IEEE
In this paper, an analytic technique is proposed to improve the dynamic web application quality and reliability. The technique integrates orthogonal defect classification (ODC), a...
179
click to vote
CONCUR
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...