Linked e-resources
Details
Table of Contents
An Architecture for Non-invasive Software Measurement
A Human-in-the-loop Perspective for Safety Assessment in Robotic Applications
Multi-level Static Analysis for Finding Error Patterns and Defects in Source Code
Pipelined Bottom-up Evaluation of Datalog Programs: The Push Method
Multi-cloud Applications Security Monitoring
The Hybrid Multidimensional-ontological Data Model Based on Metagraph Approach
PosDB: A Distributed Column-store Engine
Microservices: How To Make Your Application Scale
Static Binary Code Instrumentation for ARM Architecture
A Behavioural Theory for Reactive Sequential Algorithms
Lightweight Non-Intrusive Virtual Machine Introspection
Distributed Approach to Coreference Resolution in Multi-agent Text Analysis for Ontology Population
A Framework for Dynamical Construction of Software Components
A Transformation-Based Approach for Developing High-Performance GPU Programs
Domain Engineering the Magnolia Way
Approximating Event System Abstractions by Covering Their States and Transitions
Implementing the Symbolic Method of Verification in the C-light Project
Highlights of the Rice-Shapiro Theorem in Computable Topology
A Memory Model for Deductively Verifying Linux Kernel Modules
Indexing of Hierachically Organized Spatial-temporal Data Using Dynamic Regular Octrees
An Approach to the Validation of XML Documents Based on the Model Driven Architecture and the Object Constraint Language
Compositional Relational Programming with Nominal Projection and Compositional Synthesis
WhaleProver: First-order Intuitionistic Theorem Prover Based on the Inverse Method
Distributed In Situ Processing of Big Raster Data in the Cloud
Statistical Approach to Increase Source Code Completion Accuracy
Using the Subject Area Ontology for Automating Learning Processes and Scientific Investigation
Runtime Specialization of PostgreSQL Query Executor
MicroTESK: A Tool for Constrained-Random Test Program Generation for Microprocessors
Enriching aA Textual Xtext-DSL with A Graphical GEF-based Editor
Towards Automated Static Verification of GNU C Programs
Domain Specific Semantic Validation of Schema.org Annotations.#xE000;
A Human-in-the-loop Perspective for Safety Assessment in Robotic Applications
Multi-level Static Analysis for Finding Error Patterns and Defects in Source Code
Pipelined Bottom-up Evaluation of Datalog Programs: The Push Method
Multi-cloud Applications Security Monitoring
The Hybrid Multidimensional-ontological Data Model Based on Metagraph Approach
PosDB: A Distributed Column-store Engine
Microservices: How To Make Your Application Scale
Static Binary Code Instrumentation for ARM Architecture
A Behavioural Theory for Reactive Sequential Algorithms
Lightweight Non-Intrusive Virtual Machine Introspection
Distributed Approach to Coreference Resolution in Multi-agent Text Analysis for Ontology Population
A Framework for Dynamical Construction of Software Components
A Transformation-Based Approach for Developing High-Performance GPU Programs
Domain Engineering the Magnolia Way
Approximating Event System Abstractions by Covering Their States and Transitions
Implementing the Symbolic Method of Verification in the C-light Project
Highlights of the Rice-Shapiro Theorem in Computable Topology
A Memory Model for Deductively Verifying Linux Kernel Modules
Indexing of Hierachically Organized Spatial-temporal Data Using Dynamic Regular Octrees
An Approach to the Validation of XML Documents Based on the Model Driven Architecture and the Object Constraint Language
Compositional Relational Programming with Nominal Projection and Compositional Synthesis
WhaleProver: First-order Intuitionistic Theorem Prover Based on the Inverse Method
Distributed In Situ Processing of Big Raster Data in the Cloud
Statistical Approach to Increase Source Code Completion Accuracy
Using the Subject Area Ontology for Automating Learning Processes and Scientific Investigation
Runtime Specialization of PostgreSQL Query Executor
MicroTESK: A Tool for Constrained-Random Test Program Generation for Microprocessors
Enriching aA Textual Xtext-DSL with A Graphical GEF-based Editor
Towards Automated Static Verification of GNU C Programs
Domain Specific Semantic Validation of Schema.org Annotations.#xE000;