5128 search results - page 301 / 1026 » When Abstraction Fails |
190
click to vote
ESTIMEDIA
2004
Springer
16 years 26 days ago
2004
Springer
Abstract—Few analytical performance models that relate performance figure of merit to architectural design decisions are reported in recent studies of network-on-chip, which pre...
204
click to vote
ISPA
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. A crucial issue in the management of sensor networks is the continuous monitoring of residual energy level of the sensors in the network. In this paper, we propose a hier...
211
click to vote
SAS
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...
186
Voted
FMCO
2003
Springer
16 years 21 days ago
2003
Springer
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
178
Voted
ICCHP
2010
Springer
16 years 8 days ago
2010
Springer
Abstract. While providing non-visual access to graphical user interfaces has been the topic of research for over 20 years, blind users still face many obstacles when using computer...