skip to content
Services and visualization : towards user-friendly design : ACoS'98, VISUAL'98, AIN'97 selected papers Preview this item
ClosePreview this item
Checking...

Services and visualization : towards user-friendly design : ACoS'98, VISUAL'98, AIN'97 selected papers

Author: Tiziana Margaria-Steffen
Publisher: Berlin ; New York : Springer, 1998.
Series: Lecture notes in computer science, 1385.
Edition/Format:   Print book : Document : Conference publication   Computer File : EnglishView all editions and formats
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  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic resources (Books)
Conference papers and proceedings
Congresses
Congrès
Material Type: Conference publication, Document, Internet resource
Document Type: Book, Computer File, Internet Resource
All Authors / Contributors: Tiziana Margaria-Steffen
ISBN: 3540643672 9783540643678
OCLC Number: 38930601
Description: xii, 322 pages : illustrations ; 24 cm.
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 [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 --
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] --
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].
Series Title: Lecture notes in computer science, 1385.
Responsibility: Tiziana Margaria [and others].
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/38930601> # Services and visualization : towards user-friendly design : ACoS'98, VISUAL'98, AIN'97 selected papers
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
   library:oclcnum "38930601" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/774317907#Place/berlin> ; # Berlin
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://dewey.info/class/004.019/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/774317907#Topic/interfaces_utilisateur_informatique_congres> ; # Interfaces utilisateur (informatique)--Congrès
   schema:about <http://id.worldcat.org/fast/963494> ; # Human-computer interaction
   schema:about <http://id.worldcat.org/fast/1163191> ; # User interfaces (Computer systems)
   schema:about <http://experiment.worldcat.org/entity/work/data/774317907#Topic/human_computer_interaction> ; # Human-computer interaction
   schema:about <http://experiment.worldcat.org/entity/work/data/774317907#Topic/interaction_homme_machine_informatique> ; # Interaction homme-machine (Informatique)
   schema:about <http://experiment.worldcat.org/entity/work/data/774317907#Topic/engenharia_de_programacao_software> ; # Engenharia de programacao (software)
   schema:about <http://experiment.worldcat.org/entity/work/data/774317907#Topic/internet> ; # Internet
   schema:about <http://experiment.worldcat.org/entity/work/data/774317907#Topic/interaction_homme_ordinateur_congres> ; # Interaction homme-ordinateur--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/774317907#Topic/gebruikersvriendelijkheid> ; # Gebruikersvriendelijkheid
   schema:about <http://experiment.worldcat.org/entity/work/data/774317907#Topic/interfaces_informatique> ; # Interfaces (Informatique)
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/774317907#Meeting/ain_97_1997_university_of_bologna_at_cesena> ; # AIN'97 (1997 : University of Bologna at Cesena)
   schema:contributor <http://experiment.worldcat.org/entity/work/data/774317907#Meeting/visual_98_1998_university_of_lisbon> ; # VISUAL'98 (1998 : University of Lisbon)
   schema:contributor <http://viaf.org/viaf/54816246> ; # Tiziana Margaria-Steffen
   schema:creator <http://experiment.worldcat.org/entity/work/data/774317907#Meeting/acos_98_1998_university_of_lisbon> ; # ACoS'98 (1998 : University of Lisbon)
   schema:datePublished "1998" ;
   schema: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 -- 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] -- 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]."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/774317907> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Electronic resources (Books)"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/774317907#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:name "Services and visualization : towards user-friendly design : ACoS'98, VISUAL'98, AIN'97 selected papers"@en ;
   schema:productID "38930601" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/38930601#PublicationEvent/berlin_new_york_springer_1998> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/774317907#Agent/springer> ; # Springer
   schema:url <http://link.springer-ny.com/link/service/series/0558/tocs/t1385.htm> ;
   schema:url <http://www.library.tufts.edu/ezproxy/ezproxy.asp?LOCATION=SpLinkLeNoCoSc> ;
   schema:url <http://catdir.loc.gov/catdir/enhancements/fy0815/98018373-t.html> ;
   schema:url <http://dx.doi.org/10.1007/BFb0053491> ;
   schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=1385> ;
   schema:url <http://link.springer.com/10.1007/BFb0053491> ;
   schema:workExample <http://worldcat.org/isbn/9783540643678> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9829927> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/38930601> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/774317907#Meeting/ain_97_1997_university_of_bologna_at_cesena> # AIN'97 (1997 : University of Bologna at Cesena)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/774317907#Place/university_of_bologna_at_cesena> ; # University of Bologna at Cesena)
   schema:name "AIN'97 (1997 : University of Bologna at Cesena)" ;
    .

<http://experiment.worldcat.org/entity/work/data/774317907#Place/university_of_bologna_at_cesena> # University of Bologna at Cesena)
    a schema:Place ;
   schema:name "University of Bologna at Cesena)" ;
    .

<http://experiment.worldcat.org/entity/work/data/774317907#Place/university_of_lisbon> # University of Lisbon)
    a schema:Place ;
   schema:name "University of Lisbon)" ;
    .

<http://experiment.worldcat.org/entity/work/data/774317907#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/38930601> ; # Services and visualization : towards user-friendly design : ACoS'98, VISUAL'98, AIN'97 selected papers
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/774317907#Topic/engenharia_de_programacao_software> # Engenharia de programacao (software)
    a schema:Intangible ;
   schema:name "Engenharia de programacao (software)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/774317907#Topic/gebruikersvriendelijkheid> # Gebruikersvriendelijkheid
    a schema:Intangible ;
   schema:name "Gebruikersvriendelijkheid"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/774317907#Topic/interaction_homme_machine_informatique> # Interaction homme-machine (Informatique)
    a schema:Intangible ;
   schema:name "Interaction homme-machine (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/774317907#Topic/interaction_homme_ordinateur_congres> # Interaction homme-ordinateur--Congrès
    a schema:Intangible ;
   schema:name "Interaction homme-ordinateur--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/774317907#Topic/interfaces_informatique> # Interfaces (Informatique)
    a schema:Intangible ;
   schema:name "Interfaces (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/774317907#Topic/interfaces_utilisateur_informatique_congres> # Interfaces utilisateur (informatique)--Congrès
    a schema:Intangible ;
   schema:name "Interfaces utilisateur (informatique)--Congrès"@en ;
    .

<http://id.worldcat.org/fast/1163191> # User interfaces (Computer systems)
    a schema:Intangible ;
   schema:name "User interfaces (Computer systems)"@en ;
    .

<http://id.worldcat.org/fast/963494> # Human-computer interaction
    a schema:Intangible ;
   schema:name "Human-computer interaction"@en ;
    .

<http://link.springer.com/10.1007/BFb0053491>
   rdfs:comment "eBook available for UOIT via SpringerLink. Click link to access" ;
    .

<http://link.springer-ny.com/link/service/series/0558/tocs/t1385.htm>
   rdfs:comment "Restricted to Springer LINK subscribers" ;
    .

<http://viaf.org/viaf/54816246> # Tiziana Margaria-Steffen
    a schema:Person ;
   schema:birthDate "1964" ;
   schema:familyName "Margaria-Steffen" ;
   schema:givenName "Tiziana" ;
   schema:name "Tiziana Margaria-Steffen" ;
    .

<http://worldcat.org/isbn/9783540643678>
    a schema:ProductModel ;
   schema:isbn "3540643672" ;
   schema:isbn "9783540643678" ;
    .

<http://www.worldcat.org/title/-/oclc/38930601>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/38930601> ; # Services and visualization : towards user-friendly design : ACoS'98, VISUAL'98, AIN'97 selected papers
   schema:dateModified "2018-03-11" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.