9110 search results - page 1376 / 1822 » Formally-Based Design Evaluation |
220
click to vote
ISI
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. In this paper, we report our work on developing and evaluating a prototype system aimed at addressing the information monitoring and sharing challenges in the law enforce...
209
click to vote
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
Abstract—Built-In Self-Test (BIST) is less often applied to random logic than to embedded memories due to the following reasons: Firstly, for a satisfiable fault coverage it may...
167
click to vote
ITNG
2010
IEEE
15 years 12 months ago
2010
IEEE
A number of routing metrics have been proposed to select a path with better performance in wireless mesh networks. Most of them partially rely on link loss rates when evaluating t...
167
click to vote
ITNG
2010
IEEE
15 years 12 months ago
2010
IEEE
—Healthcare services and systems throughout the world are in trouble and the proportion of expenditures devoted to healthcare is increasing rapidly. In addition to that, an incre...
169
click to vote
JCDL
2010
ACM
15 years 12 months ago
2010
ACM
We present here a method for automatically projecting structural information across translations, including canonical citation structure (such as chapters and sections), speaker i...