-
Zusatztext
-
InhaltsangabeBDD-Based Software Model Checking with CPAchecker.- Security for Cyber-Physical Systems.- Quantum Secret Sharing with Graph States.- Testing Embedded Memories: A Survey.- Quicksort and Large Deviations.- Recent Results on Howard's Algorithm.- Advantage of Quantum Strategies in Random Symmetric XOR Games.- Verification of Liveness Properties on Closed Timed-Arc Petri Nets.- Fast Algorithm for Rank-Width.- Determinacy in Stochastic Games with Unbounded Payoff Functions.- Strategy Complexity of Finite-Horizon Markov Decision Processes and Simple Stochastic Games.- Controllable-Choice Message Sequence Graphs.- A Better Way towards Key Establishment and Authentication in Wireless Sensor Networks.- Parameterized Algorithms for Stochastic Steiner Tree Problems.- Action Investment Energy Games.- Ciphertext-Only Attack on Gentry-Halevi Implementation of Somewhat Homomorphic Scheme.- Grover's Algorithm with Errors.- On WQO Property for Different Quasi Orderings of the Set of Permutations.- Towards User-Aware Multi-touch Interaction Layer for Group Collaborative Systems.
-
-
Kurztext
-
Up-to-date results in mathematical and engineering methods in computer scienceFast-track conference proceedingsState-of-the-art research
-
Detailansicht
Mathematical and Engineering Methods in Computer Science
8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28,2012, Revised Selected Papers, Lecture Notes in Computer Science 7721 - Programming and Software Engineering
ISBN/EAN: 9783642360442
Umbreit-Nr.: 4254089
Sprache:
Englisch
Umfang: xii, 213 S., 32 s/w Illustr., 213 p. 32 illus.
Format in cm:
Einband:
kartoniertes Buch
Erschienen am 09.01.2013
Auflage: 1/2013