Systems & networking

Karthik Bhargavan, Andy Gordon

Workshop on The Rise and Rise of the Declarative Datacentre | May 2008

James B. Orlin, Andreas S. Schulz, Sudipta Sengupta

Discrete Optimization | May 2008, pp. 550-561

Special issue in memory of George B. Dantzig

Navendu Jain, Dmitry Kit, Prince Mahajan, Praveen Yalagandula, Mike Dahlin, Yin Zhang

TR06-22 | May 2008

Philip A. Chou, Sudipta Sengupta, Minghua Chen, Jin Li

May 2008

Workshop on Modeling and Analysis of Computer and Communication Systems

Tim Harris, Karthik Bhargavan, Andy Gordon

MSR-TR-2008-61 | May 2008

Thomas Karagiannis, Elias Athanasopoulos, Christos Gkantsidis, Peter Key

MSR-TR-2008-84 | May 2008

Nishith Khantal, Johannes Helander, Ben Zorn, Oscar Almeida

2nd Web 2.0 Security and Privacy, in Conjunction with IEEE Symposium on Security and Privacy | May 2008

Thomas Karagiannis, Milan Vojnovic

MSR-TR-2008-76 | May 2008

Johannes Helander

Advances in Pervasive Computing, Adjunct Proceedings of the 6th International Conference on Pervasive Computing Published by Austrian Computer Society, ISBN 978-3-85403-236-6 | May 2008

Advances in Pervasive Computing, Adjunct Proceedings of the 6th International Conference on Pervasive Computing Published by Austrian Computer Society, ISBN 978-3-85403-236-6

John Davis, Zhangxi Tan, Fang Yu, Lintao Zhang

International Conference on Theory and Applications of Satisfiability Testing (SAT) | May 2008

International Conference on Theory and Applications of Satisfiability Testing (SAT)

ISBN: 978-3-540-79718-0

Project