Abstract is missing.
- Mitigating the Effects of Internet Timing Faults Across Embedded Network GatewaysPhilip Koopman, Justin Ray. 1 [doi]
- Green IT - The Power Saving Challenge and ICT SolutionsPaul J. Kühn. 2 [doi]
- In Memory of Dr. Gunter BolchMartin Paterok, Hermann de Meer, Patrick Wüchner. 3-7 [doi]
- Verification of a Control System Built Using Remote Redundancy by Means of Timed Automata and State Space ExplorationKlaus Echtle, Thorsten Kimmeskamp. 8-23 [doi]
- Software Reliability Assessment Based on the Evaluation of Operational ExperienceSven Söhnlein, Francesca Saglietti, Frank Bitzer, Matthias Meitner, Siegfried Baryschew. 24-38 [doi]
- Clock Synchronization Issues in Multi-Cluster Time-Triggered NetworksKlaus Echtle, Soubhi Mohamed. 39-61 [doi]
- User-Perceived Performance of the NICE Application Layer Multicast Protocol in Large and Highly Dynamic GroupsChristian Hübsch, Christoph P. Mayer, Oliver P. Waldhorst. 62-77 [doi]
- Effectiveness of Link Cost Optimization for IP Rerouting and IP Fast RerouteDavid Hock, Matthias Hartmann, Christian Schwartz, Michael Menth. 78-90 [doi]
- Load Modeling and Generation for IP-Based Networks: A Unified Approach and Tool SupportAndrey Kolesnikov, Martin Kulas. 91-106 [doi]
- Analyzing Energy Consumption in a Gossiping MAC ProtocolHaidi Yue, Henrik C. Bohnenkamp, Joost-Pieter Katoen. 107-119 [doi]
- Defining and Measuring Performance Characteristics of Current Video GamesTill Fischer, Axel Böttcher, Aaron Coday, Helena Liebelt. 120-135 [doi]
- Traffic Properties, Client Side Cachability and CDN Usage of Popular Web SitesJoachim Charzinski. 136-150 [doi]
- Investigation of the Multimedia Adaptive Threshold Strategy for Mobile Integrated Services NetworksVittoria De Nitto Persone, Andreas Pillekeit, Matteo Iacari. 151-167 [doi]
- Setting the Parameters Right for Two-Hop IEEE 802.11e Ad Hoc NetworksAnne Remke, Boudewijn R. Haverkort, Geert J. Heijenk, Jesper Bax. 168-182 [doi]
- CrossTrace: Cross-Layer Measurement for IEEE 802.11 Wireless TestbedsSimon Frohn, Sascha Gübner, Christoph Lindemann. 183-197 [doi]
- The Total Overflow during a Busy Cycle in a Markov-Additive Finite Buffer SystemLothar Breuer. 198-211 [doi]
- Accuracy of Strong and Weak Comparisons for Network of QueuesHind Castel-Taleb, Nihal Pekergin. 212-226 [doi]
- Searching for Tight Performance Bounds in Feed-Forward NetworksAndreas Kiefer, Nicos Gollan, Jens B. Schmitt. 227-241 [doi]
- An EM Algorithm for Markovian Arrival Processes Observed at Discrete TimesLothar Breuer, Alfred Kume. 242-258 [doi]
- An Empirical Comparison of MAP Fitting AlgorithmsJan Kriege, Peter Buchholz. 259-273 [doi]
- Reducing the Cost of Generating APH-Distributed Random NumbersPhilipp Reinecke, Miklós Telek, Katinka Wolter. 274-286 [doi]
- Correctness Issues of Symbolic Bisimulation Computation for Markov ChainsRalf Wimmer, Bernd Becker. 287-301 [doi]
- ResiLyzer: A Tool for Resilience Analysis in Packet-Switched Communication NetworksDavid Hock, Michael Menth, Matthias Hartmann, Christian Schwartz, David Stezenbach. 302-306 [doi]
- SyLaGen - An Extendable Tool Environment for Generating LoadMichael Striewe, Moritz Balz, Michael Goedicke. 307-310 [doi]
- ProFiDo - A Toolkit for Fitting Input ModelsFalko Bause, Philipp Gerloff, Jan Kriege. 311-314 [doi]
- ProC/B for Networks: Integrated INET ModelsSebastian Vastag. 315-318 [doi]
- DELTA: A Web-Based Simulation Training Environment Using JavaDEMOSSascha Geeren, Falk Hoppe, Axel Langhoff, Bruno Müller-Clostermann, Andreas Pillekeit. 319-322 [doi]