SOFSEM 2014: Theory and Practice of Computer Science

40th International Conference on Current Trends in Theory and Practice of Computer Science,Nový Smokovec, Slovakia, January 26-29, 2014, Proceedings

Viliam Geffert, Bart Preneel, Branislav Rovan, Július Štuller, A Min Tjoa (Herausgeber)

Buch | Softcover

XXIV, 528 Seiten

2014
Springer International Publishing (Verlag)
978-3-319-04297-8 (ISBN)

Artikel merken

This book constitutes the refereed proceedings of the 40th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2014, held in Nový Smokovec, Slovakia, in January 2014. The 40 revised full papers presented in this volume were carefully reviewed and selected from 104 submissions. The book also contains 6 invited talks. The contributions covers topics as: Foundations of Computer Science, Software and Web Engineering, as well as Data, Information and Knowledge Engineering and Cryptography, Security and Verification.

Invited Papers.- Open Services for Software Process Compliance Engineering.- Episode-Centric Conceptual Modeling.- Towards a Higher-Dimensional String Theory for the Modeling of Computerized Systems.- Advice Complexity: Quantitative Approach to A-Priori Information.- Matching of Images of Non-Planar Objects with View Synthesis.- Agile Requirements Engineering: A Research Perspective.- Contributed Papers.- Fitting Planar Graphs on Planar Maps.- Minimum Activation Cost Node-Disjoint Paths in Graphs with Bounded Treewidth.- Tight Bounds for the Advice Complexity of the Online Minimum Steiner Tree Problem.- On the Power of Advice and Randomization for the Disjoint Path Allocation Problem.- Goal-Based Establishment of an Information Security Management System Compliant to ISO 27001.- ProofBook: An Online Social Network Based on Proof-of-Work and Friend-Propagation.- Platform Independent Software Development Monitoring: Design of an Architecture.- Towards Unlocking the Full Potential of Multileaf Collimators.- Parameterized Complexity of the Sparsest k-Subgraph Problem in Chordal Graphs.- Error-Pruning in Interface Automata.- Aspect-Driven Design of Information Systems.- Exact Algorithms to Clique-Colour Graphs.- Supporting Non-Functional Requirements in Services Software Development Process: an MDD Approach.- Safety Contracts for Timed Reactive Components in SysML.- ...

Erscheint lt. Verlag	3.1.2014
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Theoretical Computer Science and General Issues
Zusatzinfo	XXIV, 528 p. 103 illus.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	836 g
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Themenwelt	Mathematik / Informatik ► Mathematik
Schlagworte	Algorithm analysis and problem complexity • algorithms • data structures • genetic programming • Intelligent Agents • Safety • Software Product Lines
ISBN-10	3-319-04297-1 / 3319042971
ISBN-13	978-3-319-04297-8 / 9783319042978
Zustand	Neuware