Cargando…
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 /
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 f...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cham :
Springer International Publishing : Imprint: Springer,
2014.
|
| Edición: | 1st ed. 2014. |
| Colección: | Theoretical Computer Science and General Issues,
8327 |
| Temas: | |
| Acceso en línea: | Texto Completo |
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-3-319-04298-5 | ||
| 003 | DE-He213 | ||
| 005 | 20230330063634.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 140120s2014 sz | s |||| 0|eng d | ||
| 020 | |a 9783319042985 |9 978-3-319-04298-5 | ||
| 024 | 7 | |a 10.1007/978-3-319-04298-5 |2 doi | |
| 050 | 4 | |a QA76.9.M35 | |
| 050 | 4 | |a QA297.4 | |
| 072 | 7 | |a UYAM |2 bicssc | |
| 072 | 7 | |a PBD |2 bicssc | |
| 072 | 7 | |a COM018000 |2 bisacsh | |
| 072 | 7 | |a UYAM |2 thema | |
| 072 | 7 | |a PBD |2 thema | |
| 082 | 0 | 4 | |a 004.0151 |2 23 |
| 245 | 1 | 0 | |a SOFSEM 2014: Theory and Practice of Computer Science |h [electronic resource] : |b 40th International Conference on Current Trends in Theory and Practice of Computer Science,Nový Smokovec, Slovakia, January 26-29, 2014, Proceedings / |c edited by Viliam Geffert, Bart Preneel, Branislav Rovan, Július Štuller, A Min Tjoa. |
| 250 | |a 1st ed. 2014. | ||
| 264 | 1 | |a Cham : |b Springer International Publishing : |b Imprint: Springer, |c 2014. | |
| 300 | |a XXIV, 528 p. 103 illus. |b online resource. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Theoretical Computer Science and General Issues, |x 2512-2029 ; |v 8327 | |
| 505 | 0 | |a 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 -- Graph Clustering with Surprise: Complexity and Exact Solutions -- On Lower Bounds for the Time and the Bit Complexity of Some Probabilistic Distributed Graph Algorithms -- Active Learning of Recursive Functions by Ultrametric Algorithms -- Efficient Error-Correcting Codes for Sliding Windows -- Integrating UML Composite Structures and fUML -- Deciding the Value 1 Problem for #-Acyclic Partially Observable Markov Decision Processes -- Bidimensionality of Geometric Intersection Graphs -- Attack Against a Pairing Based Anonymous Authentication Protocol -- Finding Disjoint Paths in Split Graphs -- A New Asymptotic Approximation Algorithm for 3-Dimensional Strip Packing -- A Stronger Square Conjecture on Binary Words -- DSL Based Platform for Business Process Management -- Bounded Occurrence Edit Distance: A New Metric for String Similarity Joins with Edit Distance Constraints -- Deterministic Verification of Integer Matrix Multiplication in Quadratic Time -- Comparison of Genetic Algorithms for Trading Strategies -- Probabilistic Admissible Encoding on Elliptic Curves -Towards PACE with Generalized Integrated Mapping -- An Algebraic Framework for Modeling of Reactive Rule-Based Intelligent Agents -- Parameterized Prefix Distance Between Regular Languages -- Ordered Restarting Automata for Picture Languages -- Unary NFAs with Limited Nondeterminism -- Recommending for Disloyal Customers with Low Consumption Rate -- Security Constraints in Modeling of Access Control Rules for Dynamic Information Systems -- A New Plane-Sweep Algorithm for the K-Closest-Pairs Query -- Mastering Erosion of Software Architecture in Automotive Software Product Lines -- Shortest Unique Substrings Queries in Optimal Time -- Oracle Pushdown Automata, Nondeterministic Reducibilities, and the Hierarchy over the Family of Context-Free Languages. | |
| 520 | |a 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. | ||
| 650 | 0 | |a Computer science-Mathematics. | |
| 650 | 0 | |a Discrete mathematics. | |
| 650 | 0 | |a Algorithms. | |
| 650 | 0 | |a Information storage and retrieval systems. | |
| 650 | 0 | |a Software engineering. | |
| 650 | 0 | |a Artificial intelligence. | |
| 650 | 0 | |a Artificial intelligence-Data processing. | |
| 650 | 1 | 4 | |a Discrete Mathematics in Computer Science. |
| 650 | 2 | 4 | |a Algorithms. |
| 650 | 2 | 4 | |a Information Storage and Retrieval. |
| 650 | 2 | 4 | |a Software Engineering. |
| 650 | 2 | 4 | |a Artificial Intelligence. |
| 650 | 2 | 4 | |a Data Science. |
| 700 | 1 | |a Geffert, Viliam. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Preneel, Bart. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Rovan, Branislav. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Štuller, Július. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Tjoa, A Min. |e editor. |0 (orcid)0000-0002-8295-9252 |1 https://orcid.org/0000-0002-8295-9252 |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9783319042992 |
| 776 | 0 | 8 | |i Printed edition: |z 9783319042978 |
| 830 | 0 | |a Theoretical Computer Science and General Issues, |x 2512-2029 ; |v 8327 | |
| 856 | 4 | 0 | |u https://doi.uam.elogim.com/10.1007/978-3-319-04298-5 |z Texto Completo |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-SXCS | ||
| 912 | |a ZDB-2-LNC | ||
| 950 | |a Computer Science (SpringerNature-11645) | ||
| 950 | |a Computer Science (R0) (SpringerNature-43710) | ||