12774 search results - page 2389 / 2555 » A Framework for Proof Systems |
156
click to vote
INFOCOM
2006
IEEE
16 years 18 days ago
2006
IEEE
Recent surge of interest towards congestion control that relies on single-link feedback (e.g., XCP, RCP, MaxNet, EMKC, VCP), suggests that such systems may offer certain benefit...
170
click to vote
CASES
2006
ACM
16 years 16 days ago
2006
ACM
The architectural design of embedded systems is becoming increasingly idiosyncratic to meet varying constraints regarding energy consumption, code size, and execution time. Tradit...
158
click to vote
PODC
2006
ACM
16 years 16 days ago
2006
ACM
We consider deterministic distributed broadcasting on multiple access channels in the framework of adversarial queuing. Packets are injected dynamically by an adversary that is co...
199
click to vote
SIGIR
2006
ACM
16 years 15 days ago
2006
ACM
Classical query expansion techniques such as the local context analysis (LCA) make use of term co-occurrence statistics to incorporate additional contextual terms for enhancing pa...
210
click to vote
DATE
2005
IEEE
16 years 5 days ago
2005
IEEE
— Security is emerging as an important concern in embedded system design. The security of embedded systems is often compromised due to vulnerabilities in “trusted” software t...