Research Notes 2010
RN Number | Title | Author 1 | Author 2 | Author 3 | Author 4 | Author 5 | Author 6 |
---|---|---|---|---|---|---|---|
RN/10/01 | Assume-Guarantee Verification for Distributed Systems with Local Specifications | Alessio Lomuscio | Ben Strulo | Nigel Walker | Peng Wu | ||
RN/10/02 | Cone of Silence: Adaptively Nulling Interferers in Wireless Networks | Georgios Nikolaidis | Astrit Zhushi | Kyle Jamieson | Brad Karp | ||
RN/10/03 | Data Center Networking with Multipath TCP | Costin Raiciu | Christopher Pluntke | Sebastien Barre | Adam Greenhalgh | Damon Wischik | Mark Handley |
RN/10/04 | 2-bit Flip Mutation Elementary Fitness Landscapes | W. B. Langdon | |||||
RN/10/05 - cover | Proactive Caching for Hybrid Urban Mobile Networks | Afra Mashhadi | Pan Hui | ||||
RN/10/06 - cover | Financial Contagion Simulation through Modelling Behavioural Characteristics of Market Participants and Capturing Cross-Market Linkages | Antoaneta Serguieva | Fang Liu | Paresh Date | |||
RN/10/07 | Survey of slicing finite state machine models | Kelly Androutsopoulos | David Clark | Mark Harman | Jens Krinke | Laurence Tratt |