2935 search results - page 474 / 587 » An Integrated Approach to High Integrity Software Verificati... |
166
click to vote
NTMS
2009
IEEE
16 years 20 days ago
2009
IEEE
—Wireless Sensor Networks (WSNs) have been of high interest during the past couple of years. One of the most important aspects of WSN research is location estimation. As a good s...
141
click to vote
MICRO
2008
IEEE
16 years 10 days ago
2008
IEEE
Parameter variation in integrated circuits causes sections of a chip to be slower than others. If, to prevent any resulting timing errors, we design processors for worst-case para...
142
click to vote
BDIM
2007
IEEE
16 years 8 days ago
2007
IEEE
The assessment and mitigation of risks related to the availability of the IT infrastructure is becoming increasingly important in modern organizations. Unfortunately, present stan...
136
click to vote
ICC
2007
IEEE
16 years 8 days ago
2007
IEEE
— Structured Peer to Peer (P2P) overlay networks are becoming increasingly popular. Multi-hop systems achieve a successful lookup in O(log N) hops, whereas one-hop systems approa...
138
click to vote
PPDP
2007
Springer
16 years 1 days ago
2007
Springer
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...