Search Results - "hierarchical"
Suggested Topics within your search.
Suggested Topics within your search.
- History of engineering & technology 52
- Technology: general issues 45
- Research & information: general 33
- Society & social sciences 16
- Social & cultural anthropology, ethnography 13
- Biology, life sciences 10
- Medicine 10
- Political science & theory 10
- Computer science 9
- Social & cultural history 9
- Archaeology 8
- Chemistry 8
- European history 7
- History 7
- Neurosciences 7
- linguistics 7
- Computer networks 6
- Globalization 6
- Humanities 6
- Mathematics & science 6
- Artificial intelligence 5
- Computer Engineering and Networks 5
- Computer engineering 5
- Economics 5
- Education 5
- Information technology industries 5
- Machine learning 5
- Music 5
- Politics & government 5
- Society & culture: general 5
-
2181
-
2182
-
2183
-
2184
-
2185
-
2186
-
2187
-
2188
-
2189
-
2190
-
2191
-
2192
-
2193
-
2194
-
2195
Efficient Learning Machines Theories, Concepts, and Applications for Engineers and System Designers /
Published 2015Link to Metadata
Electronic eBook -
2196
Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2018Table of Contents: “…Model-Based Software Development -- A Formal Framework for Incremental Model Slicing -- Multiple Model Synchronization with Multiary Delta Lenses -- Controlling the Attack Surface of Object-Oriented Refactorings -- Efficient Analysis of Attack Trees: a Model-Driven Approach -- Distributed Program and System Analysis -- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis -- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism -- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems -- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States -- Software Design and Verification -- Hierarchical Specification and Verification of Architectural Design Patterns -- Supporting Verification-Driven Incremental Distributed Design of Components -- Summarizing Software API Usage Examples using Clustering Techniques -- Fast Computation of Arbitrary Control Dependencies -- Specification and Program Testing -- Iterative Generation of Diverse Models for Testing Specifications of SL Tools -- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications -- TCM: Test Case Mutation to Improve Crash Detection in Android -- CRETE: A Versatile Binary-Level Concolic Testing Framework -- Family-Based Software Development -- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* -- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems -- Taming Multi-Variability of Software Product Line Transformations.…”
Link to Metadata
Electronic eBook -
2197
Immaculate Sounds The Musical Lives of Nuns in New Spain
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2198
Mamsell Bohmans fall Nattlöperskor i 1700-talets Stockholm
Published 2019DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2199
Chapter 16 Military Samhandling Formal and Informal Behaviour in Norway's Armed Forces
Published 2018DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2200
Chapter 2 Towards an Optimal Design for Ecosystem-Level Ocean Observatories
Published 2020DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter