Accepted Papers
Formal Specification of Software Systems
- Mykola Nikitchenko, Ievgen Ivanov: Programming with Nominative Data
- Martina Ľaľová, Viliam Slodičák, Igor Sivý: On describing game theory in action graphs and toposes
- Marián Jenčík, Daniel Mihályi: Formal description of behaviour for large program system
- Tetiana Parfirova, Vadim Vinnik: Compositional Model of Acyclic Programs
- Dmitry Buy, Juliya Bogatyreva: Structure of Partially Ordered Family of Multisets
- Štefan Korečko, Jozef Doboš, Attila N.Kovács: Towards Effective Implementation of Petri Nets Reachability Problem Algorithm
Advances in Programming, Specification and Modeling Languages
- Zalán Szűgyi, Norbert Pataki: Sophisticated Methods in C++
- Melinda Tóth, István Bozó, Zoltán Horváth: Applying the Erlang Semantic Query Language to Support Program Comprehension
- Marek Novák, Miroslav Biňas: Domain Specific Language for Smart-Home Services Definition
- Dominik Lakatoš, Jaroslav Porubän: Generating Tools from a Computer Language Definition
- Michaela Kreutzová, Jaroslav Porubän: Automating User Actions on GUI: Defining a GUI Domain-Specific Language
- Ines Čeh, Matej Črepinšek, Tomaž Kosar, Marjan Mernik, Jaroslav Porubän, Peter Václavík, Ján Kollár: Ontology Construction from DSL
Generative, Aspect-oriented, Domain Specific and Adaptive Methods of Software Development
- Sergej Chodarev, Ján Kollár: XHL: DSL development framework based on fixed syntax
- Tomáš Poklemba, Zdeněk Havlice, Igor Sivý: Knowledge representation in learning management systems
- Zdeněk Havlice, Ondrej Pločica, Iveta Adamuščínová, Martin Révés: Frameworks for Pre-Project and Post-Project Phases of Software Life Cycle
- Miroslav Sabo, Jaroslav Porubän: Concrete Syntax Recognition using Language Patterns
- Ľubomír Wassermann, Ján Kollár: System for the Integration of Domain-Specific Code into General-Purpose Code
- Emília Pietriková, Ján Kollár: Supporting Context Help for wxHaskell Graphic Library
Advanced Solutions in Computer Architectures and Computer Networks
- Martin Straka, Jan Kaštil, Zdeněk Kotásek: Methodology for Design of Highly Dependable Systems in FPGA
- Richard Růžička: On Practical Aspects of Printable Polymer and Nanometal Logic
- Marek Domiter, Eva Danková, Martin Chovanec: Centralization of network devices management
- Miroslav Michalko, Ján Bača: Adaptive mobile streaming based on network conditions
- František Jakab, Jozef Janitor, Tomáš Tkacik, Martin Kapa: Application Layer Based Mobility of VoIP Calls
- Robert Smyk: Implementation of discrete convolution using polynomial residue representation
- Maciej Czyżak: Improved noniterative residue division for small number ranges
- Artur Opalinski: Modern server virtualization technologies
Computer Systems Security and QoS
- Martin Kapa, Jozef Janitor: Prediction model of Subjective Video Quality Assessment
- Milan Vrabeľ, Peter Jakubčo, Norbert Ádám, Anton Baláž: Implementation of EAP Protocol for Mobile Node Authentication in Mobile Communication Networks
Information, Database, Distributed and Embedded Systems
- Jitka Dařbujanová: High performance mobile device RIA using binary MOM and SOA over WebSockets
- Jan Horáček, František Zbořil jr.: WSageNt: A Case Study
- Zoltán Horváth, Imre Barna, Péter Bauer, Kinga Bernád, Zsolt Hernáth, Balázs Köszegi, Gergely Kovács, Tamás Kozsik, Zsolt Lengyel, Róbert Roth, Sándor Sike, Gábor Takács: A client-server model for editing ODF documents on mobile devices
- Dmitry Buy, Irina Glushko: Generalized table algebra, generalized tuple calculus and theirs equivalence
- Dmitry Buy, Sergey Polyakov: Recursive queries in SQL and their generalization – systems of recursive queries
- Peter Žárský, Matej Lakatoš, Zdeněk Havlice: Integration of Knowledge about Software System and Used Design Patterns into Architecture of Software System
Modeling and Simulation of Systems
- Vít Fábera, Vlastimil Jáneš, Mária Jánešová: The Distance between FSMs and its Computing Using Genetic Algorithm
- Gianina Gabor, Doina Zmaranda: Control systems quality improvement through redundant entities
- Václav Šimek, Radim Dvořák, František Zbořil, Vladimír Drábek: Performance Evaluation of OpenCL Framework for Numerical Solver of Advection Diffusion Equation
- Jan Samek, František Zbořil: ContextGraph: Simulation Tool for Hierarchical Model of Trust in Context
- Jaroslav Rozman: Visualization of a 3D Textured Model for the World Modeling
- Mikuláš Alexík: Verification of Extensions in Parameters Identification Procedures by Simulation Experiments
- Peter Jakubčo, Liberios Vokorokos: Preserving Host Independent Emulation Speed
Computer Graphics and Virtual Reality
- Eva Danková, Martin Chovanec, Marek Domiter: Ray tracing in distributed system with use of filtration
- František Hrozek, Branislav Sobota, Radovan Janošo: Visualization with 3D Interfaces