Matches in Harvard for { <http://id.lib.harvard.edu/aleph/009296305/catalog> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items per page.
- catalog alternative "ASIAN 2003".
- catalog contributor b13119688.
- catalog contributor b13119689.
- catalog created "c2003.".
- catalog date "2003".
- catalog date "c2003.".
- catalog dateCopyrighted "c2003.".
- catalog description "Achieving type safety for low-level code / Greg Morrisett -- Kernel mode Linux: toward an operating system protected by a type theory / Toshiyuki Maeda and Akinori Yonezawa -- Self-configurable mirror servers for automatic adaptation to service demand fluctuation / Masakuni Agetsuma ... [et al.] -- Information flow security for XML transformations / Veronique Benzaken, Marwan Burelle, and Giuseppe Castagna -- Unreliable failure detectors via operational semantics / Uwe Nestmann and Rachele Fuzzati -- Bankable postage for network services / Martın Abadi ... [et al.] -- Global predicate detection under fine-grained modalities / Punit Chandra and Ajay D. Kshemkalyani -- Combining hierarchical specification with hierarchical implementation / Naijun Zhan -- Automatic generation of simple lemmas from recursive definitions using decision procedures : preliminary report / Deepak Kapur and M. Subramaniam -- Deaccumulation : improving provability / Jurgen Giesl, Armin Kuhnemann and Janis Voigtlander -- Incentive compatible mechanism based on linear pricing scheme for single-minded auction / Ning Chen and Hong Zhu -- Hierarchical structure of 1-safe petri nets / Kamal Lodaya, D. Ranganayakulu and K. Rangarajan -- A calculus for secure mobility / Bruno Blanchet and Benjamin Aziz -- A calculus of bounded capacities / Franco Barbanera ... [et al.] -- Paradigm regained : abstraction mechanisms for access control / Mark S. Miller and Jonathan S. Shapiro -- The design and evaluation of a middleware library for distribution of language entities / Erik Klintskog ... [et al.] -- Generating optimal linear temporal logic monitors by coinduction / Koushik Sen, Grigore Rosu, and Gul Agha -- Probabilistic timed simulation verification and its application to stepwise refinement of real-time systems / Satoshi Yamane -- Model checking probabilistic distributed systems / Benedikt Bollig and Martin Leucker.".
- catalog description "Includes bibliographical references and index.".
- catalog extent "viii, 304 p. :".
- catalog identifier "3540206329 (softcover : alk. paper)".
- catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 2896".
- catalog issued "2003".
- catalog issued "c2003.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "004 22".
- catalog subject "Computer science Congresses.".
- catalog subject "Electronic data processing Congresses.".
- catalog subject "Programming languages (Electronic computers) Congresses.".
- catalog subject "QA75.5 .A735".
- catalog subject "Saraswat, Vijay.".
- catalog tableOfContents "Achieving type safety for low-level code / Greg Morrisett -- Kernel mode Linux: toward an operating system protected by a type theory / Toshiyuki Maeda and Akinori Yonezawa -- Self-configurable mirror servers for automatic adaptation to service demand fluctuation / Masakuni Agetsuma ... [et al.] -- Information flow security for XML transformations / Veronique Benzaken, Marwan Burelle, and Giuseppe Castagna -- Unreliable failure detectors via operational semantics / Uwe Nestmann and Rachele Fuzzati -- Bankable postage for network services / Martın Abadi ... [et al.] -- Global predicate detection under fine-grained modalities / Punit Chandra and Ajay D. Kshemkalyani -- Combining hierarchical specification with hierarchical implementation / Naijun Zhan -- Automatic generation of simple lemmas from recursive definitions using decision procedures : preliminary report / Deepak Kapur and M. Subramaniam -- Deaccumulation : improving provability / Jurgen Giesl, Armin Kuhnemann and Janis Voigtlander -- Incentive compatible mechanism based on linear pricing scheme for single-minded auction / Ning Chen and Hong Zhu -- Hierarchical structure of 1-safe petri nets / Kamal Lodaya, D. Ranganayakulu and K. Rangarajan -- A calculus for secure mobility / Bruno Blanchet and Benjamin Aziz -- A calculus of bounded capacities / Franco Barbanera ... [et al.] -- Paradigm regained : abstraction mechanisms for access control / Mark S. Miller and Jonathan S. Shapiro -- The design and evaluation of a middleware library for distribution of language entities / Erik Klintskog ... [et al.] -- Generating optimal linear temporal logic monitors by coinduction / Koushik Sen, Grigore Rosu, and Gul Agha -- Probabilistic timed simulation verification and its application to stepwise refinement of real-time systems / Satoshi Yamane -- Model checking probabilistic distributed systems / Benedikt Bollig and Martin Leucker.".
- catalog title "ASIAN 2003".
- catalog title "Advances in computing science--ASIAN 2003 : programming languages and distributed computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003 : proceedings / Vijay A. Saraswat, (ed.).".
- catalog type "Bombay (2003) swd".
- catalog type "Conference proceedings. fast".
- catalog type "text".