Transportation-aware Routing in Delay Tolerant Networks (DTNs) Asia Future Internet 2008 Taekyoung Kwon Seoul National University.
Verifying Safety of a Token Coherence Implementation by Compositional Parametric Refinement Sebastian Burckhardt Rajeev Alur Milo M.K. Martin University.
Standing on the shoulders of giants If Adam Smith can inspire us as economists he can also inspire us as teachers of economics. Here’s what an inspired.
Dataflow Modeling of Signal Processing and Communication Systems Wireless Networking and Communications Group 8 December 2015 Prof. Brian L. Evans Guest.
Schedules of Reinforcement A mature study by two immature minds.