Services and Visualization: Towards User-Friendly Design ACos'98, VISUAL'98, AIN'97, Selected Papers /

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...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Margaria, Tiziana (Editor, http://id.loc.gov/vocabulary/relators/edt), Steffen, Bernhard (Editor, http://id.loc.gov/vocabulary/relators/edt), Rückert, Roland (Editor, http://id.loc.gov/vocabulary/relators/edt), Posegga, Joachim (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.
Edition:1st ed. 1998.
Series:Lecture Notes in Computer Science, 1385
Subjects:
Online Access:Full Text via HEAL-Link
Description
Summary: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.
Physical Description:XII, 332 p. online resource.
ISBN:9783540697602
ISSN:0302-9743 ;
DOI:10.1007/BFb0053491