2162 search results - page 433 / 433 » A Meta-Notation for Protocol Analysis |
INFOCOM
2000
IEEE
13 years 10 months ago
2000
IEEE
Abstract— Optimizing TCP (Transport Layer) for mobility has been researched extensively. We present a brief summary of existing results which indicates that most schemes require ...
FMICS
2009
Springer
14 years 10 days ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...