2351 search results - page 288 / 471 » A Method of Requirement Inconsistency Analysis |
155
click to vote
ISWC
2003
IEEE
15 years 10 months ago
2003
IEEE
Context-aware computing describes the situation where a wearable / mobile computer is aware of its user’s state and surroundings and modifies its behavior based on this informat...
131
click to vote
ITC
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper we introduce a tool which is capable of verifying an 1149.1 test logic implementation and its compliance to the IEEE 1149.1 Standard [1][2] while providing a precise...
131
click to vote
DATE
2002
IEEE
15 years 10 months ago
2002
IEEE
Accurate gate-level static timing analysis in the presence of RC loads has become an important problem for modern deep-submicron designs. Non-capacitive loads are usually analyzed...
142
click to vote
ICNP
2002
IEEE
15 years 10 months ago
2002
IEEE
This work presents a comprehensive theoretical framework for window-based congestion control protocols that are designed to converge to fairness and efficiency. We first derive ...
140
click to vote
ICRA
2002
IEEE
15 years 10 months ago
2002
IEEE
To meet the objectives of many future missions, robots will need to be adaptable and reconfigurable. A concept for such a robotic system has been proposed previously based on usin...