974 search results - page 115 / 195 » Formal Modeling of Communication Traces |
113
click to vote
POPL
2012
ACM
13 years 7 months ago
2012
ACM
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
87
Voted
ICC
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract— The 802.15.4 WSN standard provides optional reliability through positive acknowledgments. Since positive-ACKs are not designed for energy efficiency, there is significa...
FC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. RFID tags have very promising applications in many domains (retail, rental, surveillance, medicine to name a few). Unfortunately the use of these tags can have serious im...
INFOCOM
2003
IEEE
15 years 4 months ago
2003
IEEE
Abstract— We investigate a widely popular Least-RecentlyUsed (LRU) cache replacement algorithm with semi-Markov modulated requests. Semi-Markov processes provide the flexibility...
101
click to vote
MOBICOM
1999
ACM
15 years 3 months ago
1999
ACM
We present the results of a performance evaluation of link layer error recovery over wireless links. Our analysis is based upon a case study of the circuit-switched data service i...