Services and Visualization 1998

@proceedings{DBLP:conf/tacas/1998acos,
  editor    = {Tiziana Margaria and
               Bernhard Steffen and
               Roland R{\"u}ckert and
               Joachim Posegga},
  title     = {Services and Visualization: Towards User-Friendly Design, ACoS'98,
               VISUAL'98, AIN'97, Selected Papers},
  booktitle = {Services and Visualization: Towards User-Friendly Design},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1385},
  year      = {1998},
  isbn      = {3-540-64367-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Lectures

ACoS'98 & VISUAL'98

• Alain Lardenois:
  The Web Impact: A White Paper. 1-7
  Electronic Edition (Springer LINK) BibTeX

AIN'97

• Pamela Zave:
  `Calls Considered Harmful' and Other Observations: A Tutorial on Telephony. 8-27
  Electronic Edition (Springer LINK) BibTeX
• Maurizio Decina:
  Convergence of Telecommunications and Computing on Networking Models for Integrated Services and Applications. 28
  Electronic Edition (Springer LINK) BibTeX

Selected Papers

ACoS'98

• Siegfried Handschuh, Ulrike Lechner, David-Michael Lincke, Beat Schmid, Petra Schubert, Dorian Selz, Katarina Stanoevska-Slabeva:
  The NetAcademy - A New Concept for Online Publishing and Knowledge Management. 29-43
  Electronic Edition (Springer LINK) BibTeX
• Robert Hess, Dagmar Geske, Sascha Kümmel, Henrik Thuermer:
  Distributed Compression of Live Video - An Application for Active Networks. 44-60
  Electronic Edition (Springer LINK) BibTeX
• Ken'ichi Kakizaki:
  Incremental Scene Graph Distribution Method for Distributed Virtual Environments. 61-74
  Electronic Edition (Springer LINK) BibTeX
• André Hergenhan, Christoph Weiler, Karlheinz Weiß, Wolfgang Rosenstiel:
  Value-Added Services in Industrial Automation. 75-89
  Electronic Edition (Springer LINK) BibTeX
• Dirk O. Keck:
  Requirements and a Proposal for the Prevention of a Class of Service Interactions in Intelligent Networks. 90-105
  Electronic Edition (Springer LINK) BibTeX
• Hyunsook Do, Seongyong Bae, Sangki Kim:
  INAP Protocol Test Suite Verification Method Using the IUT Simulator for AIN System Conformance Testing. 106-116
  Electronic Edition (Springer LINK) BibTeX
• P. Florschütz:
  Testing IN Protocol Implementation. 117-127
  Electronic Edition (Springer LINK) BibTeX
• Sahin Albayrak, Jens Meinköhn:
  Agent-Based Data Services in Future IN-Platforms. 128-141
  Electronic Edition (Springer LINK) BibTeX

VISUAL'98

• Mehmet Bülent Özcan, P. W. Parry, Ian C. Morrey, Jawed I. A. Siddiqi:
  Visualisation of Executable Formal Specifications for User Validation. 142-157
  Electronic Edition (Springer LINK) BibTeX
• M. Lusini, Enrico Vicario:
  Design and Evaluation of a Visual Formalism for Real Time Logics. 158-173
  Electronic Edition (Springer LINK) BibTeX
• Carla Capellmann, Søren Christensen, Uwe Herzog:
  Visualising the Behaviour of Intelligent Networks. 174-189
  Electronic Edition (Springer LINK) BibTeX
• Tiziana Margaria, Volker Braun:
  Formal Methods and Customized Visualization: A Fruitful Symbiosis. 190-207
  Electronic Edition (Springer LINK) BibTeX
• Rainer Schlör, Bernhard Josko, Dieter Werth:
  Using a Visual Formalism for Design Verification in Industrial Environments. 208-221
  Electronic Edition (Springer LINK) BibTeX

AIN'97

• Volker Braun, Tiziana Margaria, Bernhard Steffen, Haiseung Yoo:
  Automatic Error Location for IN Service Definition. 222-237
  Electronic Edition (Springer LINK) BibTeX
• Jeomja Kang, Jeonghun Choi, Sehyeong Cho:
  The Generation of Service Database Schema through Service Creation Environment. 238-249
  Electronic Edition (Springer LINK) BibTeX
• Luis Orozco-Barbosa, Dimitrios Makrakis, Nicolas D. Georganas:
  A Study of Intelligent Multimedia Services over PSTNs and the Internet. 250-264
  Electronic Edition (Springer LINK) BibTeX
• Manuel Duque-Antón, Ralf Günther, Raschid Karabek, Thomas Meuser, Josef Wasel:
  Open Switching for ATM Networks. 265-277
  Electronic Edition (Springer LINK) BibTeX
• Hee Jin Lim, Go Bong Choi:
  Application of INAP to AIN Intelligent Peripheral. 278-290
  Electronic Edition (Springer LINK) BibTeX
• S. Biacchi, G. Ferrari, Roberta Gobbi:
  IN Evolution to Support Mobility in DECT Access Networks. 291-305
  Electronic Edition (Springer LINK) BibTeX
• D. Blaiotta, Lorenzo Faglia, M. Varisco, L. Vezzoli:
  A Mobile Broadband Service Switching Point: A New Network Element for Multimedia and Mobile Services. 306-322
  Electronic Edition (Springer LINK) BibTeX