1716 search results - page 270 / 344 » Proving Conditional Termination |
96
Voted
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract— In WiFi networks, mobile nodes compete for accessing a shared channel by means of a random access protocol called Distributed Coordination Function (DCF). Although this...
105
click to vote
FSE
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. The CBC-MAC or cipher block chaining message authentication code, is a well-known method to generate message authentication codes. Unfortunately, it is not forgery-secure...
MICCAI
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Integration of magnetic resonance (MR) and positron emission tomography (PET) images of the heart has proved its usefulness for the estimation of the myocardial viability...
88
Voted
WIA
2001
Springer
15 years 5 months ago
2001
Springer
d Abstract) Zhe Dang , Tevfik Bultan ¡ , Oscar H. Ibarra ¡ , and Richard A. Kemmerer ¡ ¢ School of Electrical Engineering and Computer Science Washington State University P...
100
click to vote
ECRTS
2000
IEEE
15 years 5 months ago
2000
IEEE
The imprecise computation(IC) model is a general scheduling framework, capable of expressing the precision vs. timeliness trade-off involved in many current real-time applications...