![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Services and Visualization@TACAS 1998
- Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga:
Services and Visualization: Towards User-Friendly Design, ACoS'98, VISUAL'98, AIN'97, Selected Papers. Lecture Notes in Computer Science 1385, Springer 1998, ISBN 3-540-64367-2
Invited Lectures
ACoS'98 & VISUAL'98
- Alain Lardenois:
The Web Impact: A White Paper. 1-7
AIN'97
- Pamela Zave:
'Calls Considered Harmful' and Other Observations: A Tutorial on Telephony. 8-27 - Maurizio Decina:
Convergence of Telecommunications and Computing on Networking Models for Integrated Services and Applications. 28
Selected Papers
ACoS'98
- Siegfried Handschuh
, Ulrike Lechner, David-Michael Lincke, Beat F. Schmid, Petra Schubert, Dorian Selz, Katarina Stanoevska-Slabeva:
The NetAcademy - A New Concept for Online Publishing and Knowledge Management. 29-43 - Robert Hess, Dagmar Geske, Sascha Kümmel, Henrik Thuermer:
Distributed Compression of Live Video - An Application for Active Networks. 44-60 - Ken'ichi Kakizaki:
Incremental Scene Graph Distribution Method for Distributed Virtual Environments. 61-74 - André Hergenhan, Christoph Weiler, Karlheinz Weiß, Wolfgang Rosenstiel:
Value-Added Services in Industrial Automation. 75-89 - Dirk O. Keck:
Requirements and a Proposal for the Prevention of a Class of Service Interactions in Intelligent Networks. 90-105 - Hyunsook Do, Seongyong Bae, Sangki Kim:
INAP Protocol Test Suite Verification Method Using the IUT Simulator for AIN System Conformance Testing. 106-116 - P. Florschütz:
Testing IN Protocol Implementation. 117-127 - Sahin Albayrak, Jens Meinköhn:
Agent-Based Data Services in Future IN-Platforms. 128-141
VISUAL'98
- Mehmet Bülent Özcan, Paul William Parry, Ian C. Morrey, Jawed I. A. Siddiqi:
Visualisation of Executable Formal Specifications for User Validation. 142-157 - M. Lusini, Enrico Vicario:
Design and Evaluation of a Visual Formalism for Real Time Logics. 158-173 - Carla Capellmann, Søren Christensen, Uwe Herzog
:
Visualising the Behaviour of Intelligent Networks. 174-189 - Tiziana Margaria, Volker Braun:
Formal Methods and Customized Visualization: A Fruitful Symbiosis. 190-207 - Rainer Schlör, Bernhard Josko, Dieter Werth:
Using a Visual Formalism for Design Verification in Industrial Environments. 208-221
AIN'97
- Volker Braun, Tiziana Margaria, Bernhard Steffen, Haiseung Yoo:
Automatic Error Location for IN Service Definition. 222-237 - Jeomja Kang, Jeonghun Choi, Sehyeong Cho:
The Generation of Service Database Schema through Service Creation Environment. 238-249 - Luis Orozco-Barbosa, Dimitrios Makrakis, Nicolas D. Georganas:
A Study of Intelligent Multimedia Services over PSTNs and the Internet. 250-264 - Manuel Duque-Antón, Ralf Günther, Raschid Karabek, Thomas Meuser, Josef Wasel:
Open Switching for ATM Networks. 265-277 - Hee Jin Lim, Go Bong Choi:
Application of INAP to AIN Intelligent Peripheral. 278-290 - S. Biacchi, G. Ferrari, Roberta Gobbi:
IN Evolution to Support Mobility in DECT Access Networks. 291-305 - Donatella Blaiotta, Lorenzo Faglia, Monica Varisco, Lucia Vezzoli:
A Mobile Broadband Service Switching Point: A New Network Element for Multimedia and Mobile Services. 306-322
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.