The historie of Xenophon [[electronic resource] ] : containing the ascent of Cyrus into the higher countries. VVherein is described the admirable iourney of ten thousand Grecians from Asia the Lesse into the territories of Babylon, and their retrait from thence into Greece, notwithstanding the opposition of all their enemies. Whereunto is added a comparison of the Roman manner of warres with this of our time, out of Iustus Lipsius. Translated by Ioh. Bingham

• Record Nr.: UNISA996391467103316
• Autore: Xenophon
• Pubbl/distr/stampa: London, : Printed by Iohn Haviland for Raphe Mabb, 1623
• Descrizione fisica: [8], 146, [14] p
• Altri autori (Persone): LipsiusJustus <1547-1606.>; BinghamJohn, Captain
• Soggetti: Greece History Early works to 1800; Rome Army Early works to 1800
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: A translation of: Anabasis.; "A comparison of the Romane manner of warre, with this of our time; out of the end of the fifth booke of Iustus Lipsius, De militia Romana" [12] p. at end.; The first leaf and the last leaf are blank.; Reproduction of the original in the Henry E. Huntington Library and Art Gallery.
• Sommario/riassunto: eebo-0113

Trustworthy Global Computing [[electronic resource] ] : 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers / / edited by Martín Abadi, Alberto Lluch Lafuente

• Record Nr.: UNISA996203275903316
• Pubbl/distr/stampa: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014
• ISBN: 3-319-05119-9
• Edizione: [1st ed. 2014.]
• Descrizione fisica: 1 online resource (X, 331 p. 60 illus.)
• Collana: Theoretical Computer Science and General Issues, , 2512-2029 ; ; 8358
• Classificazione: DAT 252f; DAT 460f; DAT 465f; SS 4800
• Disciplina: 005.8
• Soggetti: Data protection; Machine theory; Application software; Computer engineering; Computer networks; Data and Information Security; Formal Languages and Automata Theory; Computer and Information Systems Applications; Computer Engineering and Networks
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Content-Driven Reputation for Collaborative Systems -- Challenges for Quantitative Analysis of Collective Adaptive Systems -- The Scribble Protocol Language -- Dynamic Measurement and Protected Execution: Model and Analysis -- Security Correctness for Secure Nested Transactions -- Types for Resources in Psi-Calculi -- A Sorted Semantic Framework for Applied Process Calculi -- Static Deadlock Resolution in the Pi-Calculus -- Fine-Grained and Coarse-Grained Reactive Noninterference -- Information Flow Analysis for Valued-; Indexed Data Security Compartments -- A Library For Removing Cache-Based Attacks in Concurrent Information Flow Systems -- Models, Specifications and Proofs -- Specification of Asynchronous Component Systems with Modal I/O-Petri Nets -- A Formal Model for the Deferred Update Replication Technique -- Studying Operational Models of Relaxed Concurrency -- Certificates and Separation Logic -- On-the-Fly Fast Mean-Field Model-Checking -- Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations.
• Sommario/riassunto: This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on Trustworthy Global Computing, TGC 2013, held in Buenos Aires, Argentina, in August 2013. The 15 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 29 submissions. The papers cover a wide range of topics in the area of global computing and safe and reliable computation. They are organized in topical sections on security, π-calculus, information flow, models, specifications and proofs and quantitative analysis.