skip to content
Information technology : selected tutorials : IFIP 18th World Computer Congress tutorials, 22-27 August 2004, Toulouse, France Preview this item
ClosePreview this item
Checking...

Information technology : selected tutorials : IFIP 18th World Computer Congress tutorials, 22-27 August 2004, Toulouse, France

Author: Ricardo Reis
Publisher: Boston ; London : Kluwer Academic Publishers, ©2004.
Series: IFIP congress series, 157.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:
This volume reports on several important and state-of-the-art topics in information technology, including: Quality of Service in Information Networks Risk-Driven Development of Security-Critical Systems Using UMLsec Developing Portable Software Formal Reasoning about Systems, Software and Hardware Using Functionals, Predicates and Relations The Problematic of Distributed Systems Supervision Software Rejuvenation -  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 books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
Information technology.
Boston ; London : Kluwer Academic Publishers, ©2004
(OCoLC)56640567
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Ricardo Reis
ISBN: 1402081596 9781402081590
OCLC Number: 57046427
Description: 1 online resource (vi, 331 pages) : illustrations.
Contents: Preliminaries; Contents; Preface; Quality of Service in Information Networks; Risk-Driven Development Of Security-Critical Systems Using UMLSEC; Developing Portable Software; Formal Reasoning About Systems, Software and Hardware Using Functionals, Predicates and Relations; The Problematic of Distributed Systems Supervision; Software Rejuvenation --
Modeling and Analysis; Test and Design-for-Test of Mixed-Signal Integrated Circuits; Web Services; Applications of Multi-Agent Systems; Discrete Event Simulation with Applications to Computer Communication Systems Performance.
Series Title: IFIP congress series, 157.
Responsibility: edited by Ricardo Reis.
More information:

Abstract:

This volume reports on several important and state-of-the-art topics in information technology, including: Quality of Service in Information Networks Risk-Driven Development of Security-Critical Systems Using UMLsec Developing Portable Software Formal Reasoning about Systems, Software and Hardware Using Functionals, Predicates and Relations The Problematic of Distributed Systems Supervision Software Rejuvenation - Modeling and Analysis Test and Design-for-Test of Mixed-Signal Integrated Circuits Web Services Applications of Multi-Agent Systems.

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/57046427> # Information technology : selected tutorials : IFIP 18th World Computer Congress tutorials, 22-27 August 2004, Toulouse, France
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
   library:oclcnum "57046427" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
   library:placeOfPublication <http://dbpedia.org/resource/Boston> ; # Boston
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   schema:about <http://experiment.worldcat.org/entity/work/data/801197509#Topic/computers_reference> ; # COMPUTERS--Reference
   schema:about <http://experiment.worldcat.org/entity/work/data/801197509#Topic/computers_hardware_general> ; # COMPUTERS--Hardware--General
   schema:about <http://experiment.worldcat.org/entity/work/data/801197509#Topic/computers_machine_theory> ; # COMPUTERS--Machine Theory
   schema:about <http://experiment.worldcat.org/entity/work/data/801197509#Topic/computers_data_processing> ; # COMPUTERS--Data Processing
   schema:about <http://experiment.worldcat.org/entity/work/data/801197509#Topic/computers_information_technology> ; # COMPUTERS--Information Technology
   schema:about <http://experiment.worldcat.org/entity/work/data/801197509#Topic/computers_computer_science> ; # COMPUTERS--Computer Science
   schema:about <http://dewey.info/class/004/e22/> ;
   schema:about <http://id.worldcat.org/fast/973089> ; # Information technology
   schema:about <http://experiment.worldcat.org/entity/work/data/801197509#Topic/computers_computer_literacy> ; # COMPUTERS--Computer Literacy
   schema:about <http://experiment.worldcat.org/entity/work/data/801197509#Topic/information_technology> ; # Information technology
   schema:bookFormat schema:EBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/801197509#Person/reis_ricardo> ; # Ricardo Reis
   schema:contributor <http://experiment.worldcat.org/entity/work/data/801197509#Meeting/ifip_world_computer_congress_18th_2004_toulouse_france> ; # IFIP World Computer Congress (18th : 2004 : Toulouse, France)
   schema:copyrightYear "2004" ;
   schema:datePublished "2004" ;
   schema:description "This volume reports on several important and state-of-the-art topics in information technology, including: Quality of Service in Information Networks Risk-Driven Development of Security-Critical Systems Using UMLsec Developing Portable Software Formal Reasoning about Systems, Software and Hardware Using Functionals, Predicates and Relations The Problematic of Distributed Systems Supervision Software Rejuvenation - Modeling and Analysis Test and Design-for-Test of Mixed-Signal Integrated Circuits Web Services Applications of Multi-Agent Systems."@en ;
   schema:description "Preliminaries; Contents; Preface; Quality of Service in Information Networks; Risk-Driven Development Of Security-Critical Systems Using UMLSEC; Developing Portable Software; Formal Reasoning About Systems, Software and Hardware Using Functionals, Predicates and Relations; The Problematic of Distributed Systems Supervision; Software Rejuvenation -- Modeling and Analysis; Test and Design-for-Test of Mixed-Signal Integrated Circuits; Web Services; Applications of Multi-Agent Systems; Discrete Event Simulation with Applications to Computer Communication Systems Performance."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/801197509> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/801197509#Series/ifip_congress_series> ; # IFIP congress series ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/56640567> ;
   schema:name "Information technology : selected tutorials : IFIP 18th World Computer Congress tutorials, 22-27 August 2004, Toulouse, France"@en ;
   schema:productID "57046427" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/57046427#PublicationEvent/boston_london_kluwer_academic_publishers_2004> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/801197509#Agent/kluwer_academic_publishers> ; # Kluwer Academic Publishers
   schema:url <http://catdir.loc.gov/catdir/toc/fy052/2004303265.html> ;
   schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=122116> ;
   schema:workExample <http://worldcat.org/isbn/9781402081590> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/57046427> ;
    .


Related Entities

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

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

<http://experiment.worldcat.org/entity/work/data/801197509#Agent/kluwer_academic_publishers> # Kluwer Academic Publishers
    a bgn:Agent ;
   schema:name "Kluwer Academic Publishers" ;
    .

<http://experiment.worldcat.org/entity/work/data/801197509#Meeting/ifip_world_computer_congress_18th_2004_toulouse_france> # IFIP World Computer Congress (18th : 2004 : Toulouse, France)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/801197509#Place/toulouse_france> ; # Toulouse, France)
   schema:name "IFIP World Computer Congress (18th : 2004 : Toulouse, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/801197509#Person/reis_ricardo> # Ricardo Reis
    a schema:Person ;
   schema:familyName "Reis" ;
   schema:givenName "Ricardo" ;
   schema:name "Ricardo Reis" ;
    .

<http://experiment.worldcat.org/entity/work/data/801197509#Place/toulouse_france> # Toulouse, France)
    a schema:Place ;
   schema:name "Toulouse, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/801197509#Series/ifip_congress_series> # IFIP congress series ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/57046427> ; # Information technology : selected tutorials : IFIP 18th World Computer Congress tutorials, 22-27 August 2004, Toulouse, France
   schema:name "IFIP congress series ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/801197509#Topic/computers_computer_literacy> # COMPUTERS--Computer Literacy
    a schema:Intangible ;
   schema:name "COMPUTERS--Computer Literacy"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/801197509#Topic/computers_computer_science> # COMPUTERS--Computer Science
    a schema:Intangible ;
   schema:name "COMPUTERS--Computer Science"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/801197509#Topic/computers_data_processing> # COMPUTERS--Data Processing
    a schema:Intangible ;
   schema:name "COMPUTERS--Data Processing"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/801197509#Topic/computers_hardware_general> # COMPUTERS--Hardware--General
    a schema:Intangible ;
   schema:name "COMPUTERS--Hardware--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/801197509#Topic/computers_information_technology> # COMPUTERS--Information Technology
    a schema:Intangible ;
   schema:name "COMPUTERS--Information Technology"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/801197509#Topic/computers_machine_theory> # COMPUTERS--Machine Theory
    a schema:Intangible ;
   schema:name "COMPUTERS--Machine Theory"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/801197509#Topic/computers_reference> # COMPUTERS--Reference
    a schema:Intangible ;
   schema:name "COMPUTERS--Reference"@en ;
    .

<http://id.worldcat.org/fast/973089> # Information technology
    a schema:Intangible ;
   schema:name "Information technology"@en ;
    .

<http://worldcat.org/isbn/9781402081590>
    a schema:ProductModel ;
   schema:isbn "1402081596" ;
   schema:isbn "9781402081590" ;
    .

<http://www.worldcat.org/oclc/56640567>
    a schema:CreativeWork ;
   rdfs:label "Information technology." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/57046427> ; # Information technology : selected tutorials : IFIP 18th World Computer Congress tutorials, 22-27 August 2004, Toulouse, France
    .

<http://www.worldcat.org/title/-/oclc/57046427>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/57046427> ; # Information technology : selected tutorials : IFIP 18th World Computer Congress tutorials, 22-27 August 2004, Toulouse, France
   schema:dateModified "2017-01-19" ;
   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.