The Path to Web n+1 Article

L. Hardman (Lynda) and S. Pemberton (Steven)

Modular Development of Hybrid Systems for Verification in Coq In Proceedings

M. Niqui (Milad) and O. Tveretina

Post-proceedings of the second International Workshop on the Foundations of Interactive Computation Proceedings

A comparison of the notions of optimality in soft constraints and graphical games In Proceedings

K.R. Apt (Krzysztof), F. Rossi and K.B. Venable

Large Deviations Perspective on Ordinal Optimization of Heavy-tailed Systems In Proceedings

J. Blanchet (Jose), J. Liu and A.P. Zwart (Bert)

Scaling laws for file dissemination in P2P networks with random contacts In Proceedings

R. Núñez Queija (Rudesindo) and B.J. Prabhu (Balakrishna)

Load balancing in processor sharing systems In Proceedings

E. Altman, U. Ayesta (Urtzi) and B.J. Prabhu (Balakrishna)

Performance model for “Just-in-Time” problems in real-time multimedia applications In Proceedings

R.D. van der Mei (Rob), F.J. Seinstra, G.M. Koole (Ger), R. Yang (Ran), D. Roubos and H. Bal