Services and Visualization: Towards User-Friendly Design (häftad)

Fler böcker inom

Format: Häftad (Paperback / softback)
Språk: Engelska
Antal sidor: 332
Utgivningsdatum: 1998-03-01
Upplaga: 1998 ed.
Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Medarbetare: Margaria, Tiziana (ed.), Steffen, Bernhard (ed.), Rückert, Roland (ed.), Posegga, Joachim (ed.)
Illustratör/Fotograf: Illustrations
Illustrationer: XII, 332 p.
Dimensioner: 234 x 156 x 18 mm
Vikt
Antal komponenter: 1
Komponenter: 1 Paperback / softback
ISSN: 0302-9743
ISBN: 9783540643678

Services and Visualization: Towards User-Friendly Design

ACos'98, VISUAL'98, AIN'97, Selected Papers

av Tiziana Margaria, Bernhard Steffen, Roland Ruckert, Joachim Posegga

Häftad, Engelska, 1998-03-01

779

Just nu 10% rabatt på allt! Använd kod SEP23

Gäller t.o.m. 28 september 2023. Villkor

Köp

Spara som favorit

Skickas från oss inom 7-10 vardagar.
Fri frakt över 199 kr för privatkunder i Sverige.

This book comprises a strictly refereed selection of papers presented at three international workshops on advanced communication services (ACoS'98), visualization issues for formal methods (VISUAL'98), and advanced intelligent networks (AIN'97). The 20 revised full papers included in the book together with three invited presentations are centered around the user-friendly design of software systems and services, in particular telecommunication and Internet services, and visualization support for the design and administration of such systems. Among the topics addressed are telecommunication services, multimedia networking, user interfaces, intelligent networking protocols, formal specification and verification, visual formalisms, mobile computing, intelligent agents, and Java.

Visa hela texten

Passar bra ihop

De som köpt den här boken har ofta också köpt Elon Musk av Walter Isaacson (inbunden).

Köp båda 2 för 1078 kr

Semantic Web Services Challenge

Charles J Petrie, Tiziana Margaria, Holger Lausen, Michal Zaremba

2222

Köp

Skickas inom vardagar.
Formal Methods for Industrial Critical Systems

Stefania Gnesi, Tiziana Margaria

1177

Köp

Skickas inom vardagar.
Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Tiziana Margaria, Bernhard Steffen

882

Köp

Skickas inom vardagar.
Leveraging Applications of Formal Methods, Verification and Validation. Verification

Tiziana Margaria, Bernhard Steffen

779

Köp

Skickas inom vardagar.

The web impact: A white paper.- 'Calls considered harmful' and other observations: A tutorial on telephony.- Convergence of telecommunications and computing on networking models for integrated services and applications.- The NetAcademy - A new concept for online publishing and knowledge management.- Distributed compression of live video - An application for active networks.- Incremental scene graph distribution method for distributed virtual environments.- Value-added services in industrial automation.- Requirements and a proposal for the prevention of a class of service interactions in intelligent networks.- INAP protocol test suite verification method using the IUT simulator for AIN system conformance testing.- Testing IN protocol implementation.- Agent-based data services in future IN-platforms.- Visualisation of executable formal specifications for user validation.- Design and evaluation of a visual formalism for real time logics.- Visualising the behaviour of intelligent networks.- Formal methods and customized visualization: A fruitful symbiosis.- Using a visual formalism for design verification in industrial environments.- Automatic error location for IN service definition.- The generation of service database schema through service creation environment.- A study of intelligent multimedia services over PSTNs and the internet.- Open switching for ATM networks.- Application of INAP to AIN intelligent peripheral.- IN evolution to support mobility in DECT access networks.- A mobile broadband service switching point: a new network element for multimedia and mobile services.