974 search results - page 115 / 195 » Formal Modeling of Communication Traces |
159
click to vote
POPL
2012
ACM
13 years 12 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...
134
click to vote
ICC
2008
IEEE
15 years 10 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...
141
click to vote
FC
2005
Springer
15 years 10 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...
128
click to vote
INFOCOM
2003
IEEE
15 years 9 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...
149
click to vote
MOBICOM
1999
ACM
15 years 8 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...