Mathematical and Engineering Methods in Computer Science - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

19

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642259289, 9783642259296

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Frequency Prediction of Functions

Mathematical and Engineering Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-25929-6_7 ◽

2012 ◽

pp. 76-83 ◽

Author(s):

Kaspars Balodis ◽

Ilja Kucevalovs ◽

Rūsiņš Freivalds

Download Full-text

Assessing System Vulnerability Using Formal Verification Techniques

Mathematical and Engineering Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-25929-6_4 ◽

2012 ◽

pp. 47-56 ◽

Author(s):

Görschwin Fey

Keyword(s):

Formal Verification ◽

System Vulnerability ◽

Verification Techniques

Download Full-text

Four Authorization Protocols for an Electronic Payment System

Mathematical and Engineering Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-25929-6_19 ◽

2012 ◽

pp. 205-214

Author(s):

Roman Žilka ◽

Vashek Matyáš ◽

Libor Kyncl

Keyword(s):

Payment System ◽

Electronic Payment ◽

Electronic Payment System

Download Full-text

Low GPU Occupancy Approach to Fast Arithmetic Coding in JPEG2000

Mathematical and Engineering Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-25929-6_13 ◽

2012 ◽

pp. 136-145 ◽

Author(s):

Jiří Matela ◽

Martin Šrom ◽

Petr Holub

Keyword(s):

Arithmetic Coding ◽

Fast Arithmetic

Download Full-text

Information Security in a Quantum World

Mathematical and Engineering Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-25929-6_5 ◽

2012 ◽

pp. 57-62

Author(s):

Renato Renner

Keyword(s):

Information Security

Download Full-text

Generalized Maneuvers in Route Planning

Mathematical and Engineering Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-25929-6_15 ◽

2012 ◽

pp. 155-166 ◽

Author(s):

Petr Hliněný ◽

Ondrej Moriš

Keyword(s):

Download Full-text

Natural Born Computing

Mathematical and Engineering Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-25929-6_2 ◽

2012 ◽

pp. 20-36

Author(s):

Peter J. Bentley

Download Full-text

Noise Injection Heuristics for Concurrency Testing

Mathematical and Engineering Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-25929-6_12 ◽

2012 ◽

pp. 123-135 ◽

Author(s):

Bohuslav Křena ◽

Zdeněk Letko ◽

Tomáš Vojnar

Keyword(s):

Noise Injection ◽

Concurrency Testing

Download Full-text

Basic Operations on Binary Suffix-Free Languages

Mathematical and Engineering Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-25929-6_9 ◽

2012 ◽

pp. 94-102 ◽

Author(s):

Roland Cmorik ◽

Galina Jirásková

Download Full-text

Computer Memory: Why We Should Care What Is under the Hood

Mathematical and Engineering Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-25929-6_6 ◽

2012 ◽

pp. 63-75

Author(s):

Vlastimil Babka ◽

Petr Tůma

Keyword(s):

Computer Memory

Download Full-text