ECU Libraries Catalog

Services and visualization : towards user-friendly design : ACoS'98, VISUAL'98, AIN'97 selected papers / Tiziana Margaria [and others].

Author/creator ACoS'98 (1998 : University of Lisbon)
Other author/creatorMargaria, Tiziana.
Other author/creatorVISUAL'98 (1998 : University of Lisbon)
Other author/creatorAIN'97 (1997 : University of Bologna at Cesena)
Format Book and Print
Publication InfoBerlin ; New York : Springer, 1998.
Descriptionxii, 322 pages : illustrations ; 24 cm.
Subject(s)
Series Lecture notes in computer science ; 1385
Lecture notes in computer science 1385. ^A466336
Contents The web impact : a white paper / A. Lardenois -- 'Calls considered harmful' and other observations : a tutorial on telephony / P. Zave -- Convergence of telecommunications and computing on networking models for integrated services and applications / M. Decina -- The net academy : a new concept for online publishing and knowledge management / S. Handschuh ... [et al.] -- Distributed compression of live video : an application for active networks / R. Hess ... [et al.] -- Incremental scene graph distribution method for distributed virtual environments / K. Kakizaki -- Value-added services in industrial automation / A. Hergenhan ... [et al.] -- Requirements and a proposal for the prevention of a class of service interactions in intelligent networks / D.O. Keck -- INAP protocol test suite verification method using the IUT simulator for AIN system conformance testing / H. Do, S. Bae, S. Kim -- Testing IN protocol implementation / P. Florschütz -- Agent-based data services in future IN-platforms / S. Albayrak, J. Meinköhn -- Visualisation of executable formal specifications for user validation / M.B. Özcan ... [et al.] -- Design and evaluation of a visual formalsism for real time logics / M. Lusini, E. Vicario - Visualizing the behaviour of intelligent networks / C. Capellmann. S. Christensen, U. Herzog -- Formal methods and customized visualisation : a fruitful symbiosis / T. Margaria, V. Braun -- Using a visual formalism for design verification in industrial environments / R. Schlör, B. Josko, D. Werth -- Automatic error location for IN service definition / V. Braun ... [et al.] -- The generation of service database schema through service creation environment / J. Kang, J. Choi, S. Cho -- A study of intelligent multimedia services over PSTNs and the internet / L. Orozco-Barbosa, D. Makrakis, N.D. Georganas -- Open switching for ATM network / M. Duque-Antón ... [et al.] -- Application of INAP to AIN intelligent peripheral / H.J. Lim, G.B. Choi -- IN evolution to support mobility in DECT access networks / S. Biacchi, G. Ferrari, R. Gobbi -- A mobile broadband service switching point : a new network element for multimedia and mobile services / D. Blaiotta ... [et al.].
Bibliography noteIncludes bibliographical references and index.
LCCN 98018373
ISBN3540643672 (pbk. : alk. paper)

Available Items

Library Location Call Number Status Item Actions
Joyner General Stacks QA76.9.U83 A29 1998 ✔ Available Place Hold