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...
Αποθηκεύτηκε σε:
| Συλλογικό Έργο: | , , |
|---|---|
| Άλλοι συγγραφείς: | , , |
| Μορφή: | Livre numérique |
| Γλώσσα: | Anglais |
| Έκδοση: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Σειρά: | Lecture notes in computer science
1385 |
| Θέματα: | |
| Διαθέσιμο Online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Σημείωση: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Services and visualization, towards user-friendly design, ACoS'98, VISUAL'98, AIN'97 selected papers, Tiziana Margaria, Bernhard Steffen, Roland Rückert ... [et al.], 1998, New York, Springer, 1 vol. (XII-322 p.), Lecture notes in computer science, 3-540-64367-2 • Services and Visualization: Towards User-Friendly Design, Texte imprimé, 9783662185759 |
| LEADER | 05177nam a22004577a 4500 | ||
|---|---|---|---|
| 001 | 945365 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN15522493X | ||
| 020 | |a 9783540697602 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International Workshop on advanced communication service |d (1998 |c :Lisbonne). | |
| 245 | 1 | 0 | |a Services and visualization : |b towards user-friendly design : ACoS'98, VISUAL'98, AIN'97 : selected papers |c [edited by] Tiziana Margaria, Bernhard Steffen, Roland Rückert... [et al.]. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1385 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Interaction humain-machine | ||
| 650 | |a Réseaux d'ordinateurs | ||
| 650 | |a Multimédias | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Margaria-Steffen, Tiziana, |d 1964- |4 pbd | |
| 700 | 1 | |a Steffen, Bernhard, |d 1956- |4 pbd | |
| 700 | 1 | |a Rückert, Roland. |4 pbd | |
| 711 | 2 | |a International Workshop on visualization issues for formal methods |d (1998 |c :Lisbonne). |4 aut | |
| 711 | 2 | |a International Workshop on advanced intelligent networks |d (1997 |c :Bologne, Italie). |4 aut | |
| 776 | 0 | |0 035894210 |t Services and visualization |o towards user-friendly design |o ACoS'98, VISUAL'98, AIN'97 selected papers |f Tiziana Margaria, Bernhard Steffen, Roland Rückert ... [et al.] |d 1998 |c New York |n Springer |p 1 vol. (XII-322 p.) |s Lecture notes in computer science |z 3-540-64367-2 | |
| 776 | 0 | |t Services and Visualization: Towards User-Friendly Design |b Texte imprimé |z 9783662185759 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0053491 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-PRLP17VB-Q |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747891656 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0053491 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750904763 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0053491 |z Accès INSA CVL | |
| 997 | |0 945365 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||