76. Automatic generation of tourist maps

Grabler, Floraine (2008)

Master Theses

77. Availability analysis and optimization in optical transport networks

Zhou, Ling (2007)

Doctoral and Habilitation Theses

78. Average performance analysis

Souza, Alexander (2006)

Doctoral and Habilitation Theses

79. A Web of things application architecture

Guinard, Dominique (2011)

80. Backup and process migration mechanisms in process support systems

Hagen, Claus and Alonso, Gustavo (1998)

Reports

81. Beschleunigung von Mikroprozessoren durch einen ausgelagerten FORTH-Koprozessor für Anwendungen der Fertigungstechnik

Bockmüller, Gerd H.M. (1994)

Doctoral and Habilitation Theses

82. Beyond SAT and BDD based model checking

Biere, Armin (2001)

Conference Contributions

83. Beyond the black box: event-based inter-process communication in process support systems

Hagen, Claus and Alonso, Gustavo (1998)

Reports

84. Bluetooth smart nodes for mobile ad-hoc networks

Beutel, Jan, Kasten, Oliver, Ringwald, Matthias, Siegemund, Frank and Thiele, Lothar (2003)

Reports

85. Bounded Model Checking

Biere, Armin (2000)

Conference Contributions

86. Building blocks for a participatory Web of things

Trifa, Vlad Mihai (2011)

Doctoral and Habilitation Theses

87. Building database applications in the cloud

Kraska, Tim (2010)

Doctoral and Habilitation Theses

88. Building formal models of next-generation security protocols

Drielsma, Paul David Hankes (2007)

Doctoral and Habilitation Theses

89. Building scalable and robust wireless mesh networks

Baumann, Rainer (2007)

Doctoral and Habilitation Theses

90. Call admission control for advance reservation requests with alternatives

Erlebach, Thomas (2002)

Reports

91. Capturing TCP burstiness in light-weight simulations

Huang, Polly and Heidemann, John (2000)

Reports

92. Ceres-Net

Wirth, Niklaus (1989)

Reports

93. Characterizing variable task releases and processor capacities

Naedele, Martin, Thiele, Lothar and Eisenring, Michael (1999)

Reports

94. Charging considerations for Virtual Private DiffServ Networks

Flury, Placi, Reichl, Peter, Gerke, Jan and Stiller, Burkhard (2000)

Reports

95. CIP model-checking

Moglestue, Andreas (2004)

Doctoral and Habilitation Theses

96. Cipon

Wagner, Bernhard Rupert (1986)

Doctoral and Habilitation Theses

97. Classifying customer-provider relationships in the internet

Erlebach, Thomas, Hall, A. and Schank, T. (2002)

Reports

98. Clippee: a large-scale client/peer system

Albrecht, Keno, Arnold, Ruedi and Wattenhofer, Roger (2003)

Reports

99. Clock and data recovery circuit for protocol- and bitrate-independent data networks

Nizzola, Pietro (1998)

Doctoral and Habilitation Theses

100. CMS grid computing and monitoring of CMS data quality using selected data samples

Chen, Zhiling (2011)

Doctoral and Habilitation Theses