Trustworthy Global Computing
Springer Berlin (Verlag)
978-3-642-15639-7 (ISBN)
Prof. Dr. Martin Wirsing ist Leiter des Lehrstuhls für Programmierung und Software-Technik des Instituts für Informatik der LMU München und Vizepräsident der LMU für den Bereich Studium.
Prof. Dr. Martin Hofmann, lehrt an der Ludwig-Maximilians-Universität München, Institut für Informatik, Theoretische Informatik, Germany.
Invited Talks.- Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode.- Perspectives in Certificate Translation.- Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes.- Toward a Game-Theoretic Model of Grid Systems.- Functions as Processes: Termination and the -Calculus.- Predicate Encryption for Secure Remote Storage.- Trust in Crowds: Probabilistic Behaviour in Anonymity Protocols.- Types and Processes.- Expressiveness of Generic Process Shape Types.- A Java Inspired Semantics for Transactions in SOC.- Responsive Choice in Mobile Processes.- A Model of Evolvable Components.- Games and Concurrent Systems.- The Impact of Altruism on the Efficiency of Atomic Congestion Games.- Stressed Web Environments as Strategic Games: Risk Profiles and Weltanschauung.- An Algebra of Hierarchical Graphs.- Property-Preserving Refinement of Concurrent Systems.- Certification of Correctness.- Certificate Translation for the Verification of Concurrent Programs.- Certified Result Checking for Polyhedral Analysis of Bytecode Programs.- Tools and Languages.- A Novel Resource-Driven Job Allocation Scheme for Desktop Grid Environments.- A Framework for Rule-Based Dynamic Adaptation.- CarPal: Interconnecting Overlay Networks for a Community-Driven Shared Mobility.- Refactoring Long Running Transactions: A Case Study.- Probabilistic Aspects.- Approximate Model Checking of Stochastic COWS.- Probabilistic Aspects: Checking Security in an Imperfect World.- A Tool for Checking Probabilistic Properties of COWS Services.
Erscheint lt. Verlag | 13.9.2010 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Theoretical Computer Science and General Issues |
Zusatzinfo | XII, 380 p. 72 illus. |
Verlagsort | Berlin |
Sprache | englisch |
Themenwelt | Informatik ► Theorie / Studium ► Kryptologie |
Schlagworte | Access Control • Adaptation • Algorithm analysis and problem complexity • anonymity • authentication • cryptographic protocol • cryptographic protocols • Encryption • Game Theory • information flow • Java • language • overlay • privacy • Refactoring • security • Semantics • Symbol • symbolic interpreters • Type Checking • verification |
ISBN-10 | 3-642-15639-8 / 3642156398 |
ISBN-13 | 978-3-642-15639-7 / 9783642156397 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich