SOFSEM 2017: Theory and Practice of Computer Science
Springer International Publishing (Verlag)
978-3-319-51962-3 (ISBN)
The 34 papers presented in this volume were carefully reviewed and selected from 41 submissions. They were organized in topical sections named: foundations in computer science; semantics, specification and compositionality; theory of mobile and distributed systems; verification and automated system analysis; petri nets, games and relaxed data structures; graph theory and scheduling algorithms; quantum and matrix algorithms; planar and molecular graphs; coloring and vertex covers; algorithms for strings and formal languages; data, information and knowledge engineering; and software engineering: methods, tools, applications.
Dependable and Optimal Cyber-Physical Systems.- Verifying Parametric Thread Creation.- Network Constructors: A Model for Programmable Matter.- Logical characterisations and compositionality of input-output conformance simulation.- A Linear-Time Branching-Time Spectrum of Behavioral Specification Theories.- Symbolic semantics for multiparty interactions in the link-calculus.- Different Speeds Suffice for Rendezvous of Two Agents on Arbitrary Graphs.- Deciding structural liveness of Petri nets.- Distributed Network Generation based on Preferential Attachment in ABS.- Completeness of Hoare Logic Relative to the Standard Model.- Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict.- Hardness of deriving invertible sequences from finite state machines.- A Graph-theoretical Characterisation of State Separation.- Selfish Transportation Games.- Decomposable Relaxation for Concurrent Data Structures.- Sufficient Conditions for a Connected Graph to have a Hamiltonian Path.- Enumerating Minimal Tropical Connected Sets.- Bamboo Garden Trimming Problem (Perpetual maintenance of machines with different attendance urgency factors).- Exact quantum query complexity of EXACT_{k,l}^n.- Adjacent vertices can be hard to find by quantum walks.- Matrix semigroup freeness problems in SL(2,Z).- Order-preserving 1-string representations of planar graphs.- How to Draw a Planarization.- Finding Largest Common Substructures of Molecules in Quadratic Time.- Lower Bounds for On-line Interval Coloring with Vector and Cardinality Constraints.- Parameterized and Exact Algorithms for Class Domination Coloring.- The Approximability of Partial Vertex Covers in Trees.- Longest Common Subsequence in at Least k Length Order-isomorphic Substrings.- Computing longest single-arm-gapped palindromes in a string.- Edit-Distance between Visibly Pushdown Languages.- Trends and Challenges in Predictive Analytics.- Model-driven Development in Practice: From Requirements to Code.- Webpage Menu Detection Based on DOM.- A Hybrid Model for Linking Multiple Social Identities across Heterogeneous Online Social Networks.- Eco Data Warehouse Design Through Logical Variability.- On Featured Transition Systems.- Domain-Specific Languages: A Systematic Mapping Study.- Characterising Malicious Software with High-Level Behavioural Patterns.- AErlang at work.- Software Systems Migration towards Cloud-native Architectures for SME-sized Software Vendors.- Using n-grams for the Automated Clustering of Structural Models.
| Erscheinungsdatum | 25.01.2017 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science | Theoretical Computer Science and General Issues |
| Zusatzinfo | XVIII, 526 p. 109 illus. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Themenwelt | Informatik ► Theorie / Studium ► Algorithmen |
| Mathematik / Informatik ► Mathematik ► Wahrscheinlichkeit / Kombinatorik | |
| Schlagworte | Algorithm analysis and problem complexity • algorithms • algorithms and data structures • Applications • Approximation • bisimilarity • Cloud Migration • Combinatorial Problems • Computational Complexity • Computer Science • conference proceedings • data similarity • Decidability • distributed programming • Dynamic Programming • general graphs • Informatics • Informatik • Information Retrieval • machine learning • malware analysis • Mobile Agents • Model-Driven Engineering • quantum search • Research • Social network • Synchronization • system synthesis |
| ISBN-10 | 3-319-51962-X / 331951962X |
| ISBN-13 | 978-3-319-51962-3 / 9783319519623 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
