skip to content
Advances in computing science--ASIAN 2003 : programming languages and distributed computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003 : proceedings Preview this item
ClosePreview this item
Checking...

Advances in computing science--ASIAN 2003 : programming languages and distributed computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003 : proceedings

Author: Vijay Saraswat
Publisher: Berlin ; New York : Springer, ©2003.
Series: Lecture notes in computer science, 2896.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book constitutes the refereed proceedings of the 8th Asian Computing Science Conference, ASIAN 2003, held in Mumbai, India in December 2003. The 16 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 53 submissions. Among the topics addressed are type theory for operating systems protection, self configurable servers, network services, predicate detection,  Read more...
Rating:

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

Subjects
More like this

 

Find a copy online

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:
Asian Computing Science Conference (8th : 2003 : Bombay, India).
Advances in computing science--ASIAN 2003.
Berlin ; New York : Springer, ©2003
(DLC) 2003067357
(OCoLC)53896708
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Vijay Saraswat
ISBN: 9783540409656 3540409653
OCLC Number: 326418440
Description: 1 online resource (viii, 304 pages) : illustrations.
Contents: Achieving Type Safety for Low-Level Code --
Kernel Mode Linux: Toward an Operating System Protected by a Type Theory --
Self-configurable Mirror Servers for Automatic Adaptation to Service Demand Fluctuation --
Information Flow Security for XML Transformations --
Unreliable Failure Detectors via Operational Semantics --
Bankable Postage for Network Services --
Global Predicate Detection under Fine-Grained Modalities --
Combining Hierarchical Specification with Hierarchical Implementation --
Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures --
Preliminary Report --
Deaccumulation --
Improving Provability --
Incentive Compatible Mechanism Based on Linear Pricing Scheme for Single-Minded Auction --
Hierarchical Structure of 1-Safe Petri Nets --
A Calculus for Secure Mobility --
A Calculus of Bounded Capacities --
Paradigm Regained: Abstraction Mechanisms for Access Control --
The Design and Evaluation of a Middleware Library for Distribution of Language Entities --
Generating Optimal Linear Temporal Logic Monitors by Coinduction --
Probabilistic Timed Simulation Verification and Its Application to Stepwise Refinement of Real-Time Systems --
Model Checking Probabilistic Distributed Systems.
Series Title: Lecture notes in computer science, 2896.
Responsibility: Vijay A. Saraswat, ed.

Abstract:

This book constitutes the refereed proceedings of the 8th Asian Computing Science Conference, ASIAN 2003, held in Mumbai, India in December 2003.The 16 revised full papers presented together with 2  Read more...

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/326418440> # Advances in computing science--ASIAN 2003 : programming languages and distributed computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003 : proceedings
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
   library:oclcnum "326418440" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3858817796#Place/berlin> ; # Berlin
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://experiment.worldcat.org/entity/work/data/3858817796#Topic/computer_science> ; # Computer science
   schema:about <http://dewey.info/class/004/e22/> ;
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://experiment.worldcat.org/entity/work/data/3858817796#Topic/electronic_data_processing> ; # Electronic data processing
   schema:about <http://id.worldcat.org/fast/906956> ; # Electronic data processing
   schema:about <http://id.worldcat.org/fast/1078704> ; # Programming languages (Electronic computers)
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/224001868> ; # Vijay Saraswat
   schema:copyrightYear "2003" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/3858817796#Meeting/asian_computing_science_conference_8th_2003_bombay_india> ; # Asian Computing Science Conference (8th : 2003 : Bombay, India)
   schema:datePublished "2003" ;
   schema:description "This book constitutes the refereed proceedings of the 8th Asian Computing Science Conference, ASIAN 2003, held in Mumbai, India in December 2003. The 16 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 53 submissions. Among the topics addressed are type theory for operating systems protection, self configurable servers, network services, predicate detection, hierarchical specification, proof theory, electronic auctions, secure mobile computing, programming casculi, access control, middleware, program logic, real-time systems, and probabilistic distributed systems."@en ;
   schema:description "Achieving Type Safety for Low-Level Code -- Kernel Mode Linux: Toward an Operating System Protected by a Type Theory -- Self-configurable Mirror Servers for Automatic Adaptation to Service Demand Fluctuation -- Information Flow Security for XML Transformations -- Unreliable Failure Detectors via Operational Semantics -- Bankable Postage for Network Services -- Global Predicate Detection under Fine-Grained Modalities -- Combining Hierarchical Specification with Hierarchical Implementation -- Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures -- Preliminary Report -- Deaccumulation -- Improving Provability -- Incentive Compatible Mechanism Based on Linear Pricing Scheme for Single-Minded Auction -- Hierarchical Structure of 1-Safe Petri Nets -- A Calculus for Secure Mobility -- A Calculus of Bounded Capacities -- Paradigm Regained: Abstraction Mechanisms for Access Control -- The Design and Evaluation of a Middleware Library for Distribution of Language Entities -- Generating Optimal Linear Temporal Logic Monitors by Coinduction -- Probabilistic Timed Simulation Verification and Its Application to Stepwise Refinement of Real-Time Systems -- Model Checking Probabilistic Distributed Systems."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/3858817796> ;
   schema:genre "Electronic books"@en ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/53896708> ;
   schema:name "Advances in computing science--ASIAN 2003 : programming languages and distributed computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003 : proceedings"@en ;
   schema:productID "326418440" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/326418440#PublicationEvent/berlin_new_york_springer_2003> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/3858817796#Agent/springer> ; # Springer
   schema:url <http://link.springer.com/10.1007/b94667> ;
   schema:url <http://dx.doi.org/10.1007/b94667> ;
   schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3088227> ;
   schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-20632-3> ;
   schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-540-20632-3> ;
   schema:url <http://rave.ohiolink.edu/ebooks/ebc/10973981> ;
   schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-20632-3> ;
   schema:workExample <http://worldcat.org/isbn/9783540409656> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/326418440> ;
    .


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/3858817796#Meeting/asian_computing_science_conference_8th_2003_bombay_india> # Asian Computing Science Conference (8th : 2003 : Bombay, India)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/3858817796#Place/bombay_india> ; # Bombay, India)
   schema:name "Asian Computing Science Conference (8th : 2003 : Bombay, India)" ;
    .

<http://id.worldcat.org/fast/1078704> # Programming languages (Electronic computers)
    a schema:Intangible ;
   schema:name "Programming languages (Electronic computers)"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science"@en ;
    .

<http://id.worldcat.org/fast/906956> # Electronic data processing
    a schema:Intangible ;
   schema:name "Electronic data processing"@en ;
    .

<http://viaf.org/viaf/224001868> # Vijay Saraswat
    a schema:Person ;
   schema:familyName "Saraswat" ;
   schema:givenName "Vijay" ;
   schema:name "Vijay Saraswat" ;
    .

<http://worldcat.org/isbn/9783540409656>
    a schema:ProductModel ;
   schema:isbn "3540409653" ;
   schema:isbn "9783540409656" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/326418440> ; # Advances in computing science--ASIAN 2003 : programming languages and distributed computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003 : proceedings
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/oclc/53896708>
    a schema:CreativeWork ;
   rdfs:label "Advances in computing science--ASIAN 2003." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/326418440> ; # Advances in computing science--ASIAN 2003 : programming languages and distributed computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/326418440>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/326418440> ; # Advances in computing science--ASIAN 2003 : programming languages and distributed computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003 : proceedings
   schema:dateModified "2017-12-25" ;
   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.