| Título : |
SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings |
| Tipo de documento: |
documento electrónico |
| Autores: |
Steffen, Bernhard, ; Baier, Christel, ; van den Brand, Mark, ; Eder, Johann, ; Hinchey, Mike, ; Margaria, Tiziana, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2017 |
| Número de páginas: |
XVIII, 526 p. 109 ilustraciones |
| ISBN/ISSN/DL: |
978-3-319-51963-0 |
| Nota general: |
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |
| Palabras clave: |
Algoritmos Sistemas de almacenamiento y recuperación de información Software de la aplicacion Ingeniería de software Red de computadoras Inteligencia artificial Almacenamiento y recuperación de información Aplicaciones informáticas y de sistemas de información Redes de comunicación informática |
| Índice Dewey: |
518.1 |
| Resumen: |
Este libro constituye las actas arbitradas de la 43.ª Conferencia Internacional sobre Tendencias Actuales en Teoría y Práctica de las Ciencias de la Computación, SOFSEM 2017, celebrada en Limerick, Irlanda, en enero de 2017. Los 34 artículos presentados en este volumen fueron cuidadosamente revisados y seleccionados entre 41 presentaciones. . Estaban organizados en secciones temáticas denominadas: fundamentos de la informática; semántica, especificación y composicionalidad; teoría de sistemas móviles y distribuidos; verificación y análisis de sistemas automatizados; redes de Petri, juegos y estructuras de datos relajadas; teoría de grafos y algoritmos de programación; algoritmos cuánticos y matriciales; gráficos planos y moleculares; cubiertas para colorear y vértices; algoritmos para cadenas y lenguajes formales; ingeniería de datos, información y conocimiento; e ingeniería de software: métodos, herramientas, aplicaciones. |
| Nota de contenido: |
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. |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings [documento electrónico] / Steffen, Bernhard, ; Baier, Christel, ; van den Brand, Mark, ; Eder, Johann, ; Hinchey, Mike, ; Margaria, Tiziana, . - 1 ed. . - [s.l.] : Springer, 2017 . - XVIII, 526 p. 109 ilustraciones. ISBN : 978-3-319-51963-0 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
| Palabras clave: |
Algoritmos Sistemas de almacenamiento y recuperación de información Software de la aplicacion Ingeniería de software Red de computadoras Inteligencia artificial Almacenamiento y recuperación de información Aplicaciones informáticas y de sistemas de información Redes de comunicación informática |
| Índice Dewey: |
518.1 |
| Resumen: |
Este libro constituye las actas arbitradas de la 43.ª Conferencia Internacional sobre Tendencias Actuales en Teoría y Práctica de las Ciencias de la Computación, SOFSEM 2017, celebrada en Limerick, Irlanda, en enero de 2017. Los 34 artículos presentados en este volumen fueron cuidadosamente revisados y seleccionados entre 41 presentaciones. . Estaban organizados en secciones temáticas denominadas: fundamentos de la informática; semántica, especificación y composicionalidad; teoría de sistemas móviles y distribuidos; verificación y análisis de sistemas automatizados; redes de Petri, juegos y estructuras de datos relajadas; teoría de grafos y algoritmos de programación; algoritmos cuánticos y matriciales; gráficos planos y moleculares; cubiertas para colorear y vértices; algoritmos para cadenas y lenguajes formales; ingeniería de datos, información y conocimiento; e ingeniería de software: métodos, herramientas, aplicaciones. |
| Nota de contenido: |
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. |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
|  |
Hacer una sugerencia Refinar búsquedaSOFSEM 2017: Theory and Practice of Computer Science / Steffen, Bernhard ; Baier, Christel ; van den Brand, Mark ; Eder, Johann ; Hinchey, Mike ; Margaria, Tiziana
