Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007835539/catalog> ?p ?o. }

• catalog abstract "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.".
• catalog alternative "Towards user-friendly design".
• catalog contributor b10846662.
• catalog contributor b10846663.
• catalog contributor b10846664.
• catalog contributor b10846665.
• catalog contributor b10846666.
• catalog created "1998.".
• catalog date "1998".
• catalog date "1998.".
• catalog dateCopyrighted "1998.".
• catalog description "Agent-based data services in future IN-platforms / S. Albayrak, J. Meinköhn -- Visualisation of executable formal specifications for user validation / M.B. Özcan [and others] -- 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 [and others] -- 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 [and others] -- ".
• catalog description "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 [and others].".
• catalog description "Includes bibliographical references and index.".
• catalog description "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 [and others] -- Distributed compression of live video : an application for active networks / R. Hess [and others] -- Incremental scene graph distribution method for distributed virtual environments / K. Kakizaki -- Value-added services in industrial automation / A. Hergenhan [and others] -- 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 -- ".
• catalog description "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.".
• catalog extent "xii, 322 p. :".
• catalog identifier "3540643672 (pbk. : alk. paper)".
• catalog isPartOf "Lecture notes in computer science ; 1385".
• catalog issued "1998".
• catalog issued "1998.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer,".
• catalog subject "004/.01/9 21".
• catalog subject "Computer Communication Networks.".
• catalog subject "Computer science.".
• catalog subject "Human-computer interaction Congresses.".
• catalog subject "Information systems.".
• catalog subject "Multimedia systems.".
• catalog subject "QA76.9.U83 A29 1998".
• catalog subject "Software engineering.".
• catalog subject "Telecommunication.".
• catalog subject "User interfaces (Computer systems) Congresses.".
• catalog tableOfContents "Agent-based data services in future IN-platforms / S. Albayrak, J. Meinköhn -- Visualisation of executable formal specifications for user validation / M.B. Özcan [and others] -- 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 [and others] -- 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 [and others] -- ".
• catalog tableOfContents "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 [and others].".
• catalog tableOfContents "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 [and others] -- Distributed compression of live video : an application for active networks / R. Hess [and others] -- Incremental scene graph distribution method for distributed virtual environments / K. Kakizaki -- Value-added services in industrial automation / A. Hergenhan [and others] -- 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 -- ".
• catalog title "Services and visualization : towards user-friendly design : ACoS'98, VISUAL'98, AIN'97 : selected papers / Tiziana Margaria ... [et al.], (eds.)".
• catalog title "Towards user-friendly design".
• catalog type "Conference proceedings. fast".
• catalog type "text".