Modeling and Prediction of I/O Performance in Virtualized Environments by Noorshams, Omar-Qais

“…The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner…”
DOAB: download the publication
DOAB: description of the publication

Modelling Event-Based Interactions in Component-Based Architectures for Quantitative System Evaluation by Rathfelder, Christoph

“…The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner…”
DOAB: download the publication
DOAB: description of the publication

Parameter dependencies for reusable performance specifications of software components by Koziolek, Heiko

“…The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner…”
DOAB: download the publication
DOAB: description of the publication

Performance Problem Diagnostics by Systematic Experimentation by Wert, Alexander

“…The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner…”
DOAB: download the publication
DOAB: description of the publication

Predicting software performance in symmetric multi-core and multiprocessor Environments by Happe, Jens

“…The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner…”
DOAB: download the publication
DOAB: description of the publication

Quantifying and Predicting the Influence of Execution Platform on Software Component Performance by Kuperberg, Michael

“…The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner…”
DOAB: download the publication
DOAB: description of the publication

Reconstruction of Software Component Architectures and Behaviour Models using Static and Dynamic Analysis by Krogmann, Klaus

“…The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner…”
DOAB: download the publication
DOAB: description of the publication

Specification Languages for Preserving Consistency between Models of Different Languages by Kramer, Max Emanuel

“…The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner…”
DOAB: download the publication
DOAB: description of the publication

View-based textual modelling by Goldschmidt, Thomas

“…The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner…”
DOAB: download the publication
DOAB: description of the publication

Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment by Omri, Fouad ben Nasr

“…The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner…”
DOAB: download the publication
DOAB: description of the publication

Engineering Haptic Devices

Table of Contents: “…Foreword -- Preface -- List of Contributors -- Part I Basics -- Motivation and Application of Haptic Systems -- Haptics as an Interaction Modality -- The User's Role in Haptic System Design -- Development of Haptic Systems -- Part II Designing Haptic Systems -- Identification of Requirements -- General System Structures -- Control of Haptic Systems -- Kinematic Design -- Actuator Design -- Sensor Design -- Interface Design -- Haptic Software Design -- Evaluation of Haptic Systems -- Examples of Haptic Systems Development -- Conclusion -- Impedance Values of Grasps -- Appendix.…”
Link to Metadata

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...

Table 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

Introduction to Digital Humanism A Textbook /

Table of Contents: “…-- The Re-Enchanted Universe of AI: the Place for Human Agency -- Aesthetic Aspects of Digital Humanism: An Aesthetic-Philosophical Analysis of Whether AI Can Create Art -- Approaches to Ethical AI[1] -- Promises and Perils in Moralizing Technologies -- The Road Less Taken: Pathways to Ethical and Responsible Technologies -- Bridging the Digital Divide -- Responsible Software Engineering: Requirements and Goals -- Bridging the Digital Divide -- Responsible Software Engineering: Requirements and Goals -- Governance for Digital Humanism: The role of regulation, standardization, and certification -- Value-Sensitive Software Design: Ethical Deliberation in Agile Development Processes -- Humans in the loop: people at the heart of systems development -- Resilience: the Key to Planetary and Societal Sustainability -- How blockchain technology can help to arrive at fair ecosystems and platforms -- Introduction to Security and Privacy -- Part 3: Critical and Societal Issues of Digital Systems -- Recommender Systems: Techniques, Effects, and Measures Towards Pluralism and Fairness -- Bias and the Web -- Copyright enforcement on social media platforms: On Algorithmic Content Moderation -- DEMOCRACY IN THE DIGITAL ERA -- Are Cryptocurrencies and Decentralized Finance Democratic? …”
Link to Metadata

Gender-UseIT. HCI, Usability und UX unter Gendergesichtspunkten by Kempf, Ute

DOAB: download the publication
DOAB: description of the publication

PENGEMBANGAN MEDIA PEMBELAJARAN BERGENRE ROLE PLAYING GAME PADA INSTALASI PERANGKAT JARINGAN LAN DI SMK by Ansor, Muhammad Yuziandhi

Link Metadata

Think Python How to Think Like a Computer Scientist by Downey, Allen B.

Access online version

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 2... by Alessandra Russo

DOAB: download the publication
DOAB: description of the publication

Optimization of enzyme pre-treatment variables using response surface methodology for oil palm empty fruit bunches soda-aq pulp yield / Rushdan,I. ...[et al.] by I., Rushdan, M.B., Nurul Husna, J., Latifah, M., Ainun Zuriyati

Link Metadata

Optimization of enzyme pre-treatment variables using response surface methodology for oil palm empty fruit bunches soda-AQ pulp yield / Rushdan, I. ... [et al.] by I., Rushdan, M.H., Nurul Husna, J., Latifah, M., Ainun Zuriyati

Link Metadata

PERANCANGAN APLIKASI BERBASIS WEB BELAJAR "MAHESA SURANDANA" SEBAGAI MEDIA PENGENALAN AKSARA SUNDA by Ali Rahmat Hidayatulloh, -

Link Metadata