Search Results - "software"

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II by Dirk Beyer

Subjects: “…software engineering…”
DOAB: download the publication
DOAB: description of the publication

Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

Subjects: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication

Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

Subjects: “…Software Engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

The Cloud-to-Thing Continuum Opportunities and Challenges in Cloud, Fog and Edge Computing /

Subjects: “…Software engineering Management.…”
Link to Metadata

Finite Difference Computing with Exponential Decay Models by Langtangen, Hans Petter

Table of Contents: “…Preface -- Algorithms and implementations -- Analysis -- Generalizations -- Models -- Scientific Software Engineering -- References -- Index. .…”
Link to Metadata

Automatisierte, minimalinvasive Sicherheitsanalyse und Vorfallreaktion für industrielle Systeme by Patzer, Florian

Subjects: “…Sicherheitsanalyse; Ontologie; Software-defined Networking; Incident Response; Industrial Automation and Control Systems; security analysis; semantic web; ontology; software-defined networking; incident response; industrial automation and control systems…”
DOAB: download the publication
DOAB: description of the publication

Automatisierte, minimalinvasive Sicherheitsanalyse und Vorfallreaktion für industrielle Systeme by Patzer, Florian

Subjects: “…Sicherheitsanalyse; Ontologie; Software-defined Networking; Incident Response; Industrial Automation and Control Systems; security analysis; semantic web; ontology; software-defined networking; incident response; industrial automation and control systems…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

PEMBELAJARAN DENGAN PENDEKATAN OPEN-ENDED BERBANTUAN SOFTWARE GEOGEBRA UNTUK MENINGKATKAN SPATIAL ABILITY SISWA SMP : Penelitian Kuasi Eksperimen terhadap Siswa Kelas VII di Salah Satu SMP Negeri di Bandung by Hamdan, -

Link Metadata

PENEGAKAN HUKUM ATAS PENCATATAN HAK CIPTA SOFTWARE OLEH PENGGARAP CIPTAAN DITINJAU DARI UU HAK CIPTA: Studi Putusan Nomor 60/Pdt.Sus-HakCipta/2020/PN.Niaga.Jkt.Pst by Figo Alay Ghazi,

Link Metadata

Open Mapping towards Sustainable Development Goals Voices of YouthMappers on Community Engaged Scholarship /

Subjects: “…Open source software.…”
Link to Metadata

Ubiquitous and Pervasive Computing New Trends and Opportunities

Subjects: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication

Open Source Systems: Towards Robust Practices 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedings

Subjects: “…open source software…”
DOAB: download the publication
DOAB: description of the publication

Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs by Hammer, Christian

Subjects: “…software security…”
DOAB: download the publication
DOAB: description of the publication

Web engineering for workflow-based applications: models, systems and methodologies by Freudenstein, Patrick

Subjects: “…Model-Driven Software Development…”
DOAB: download the publication
DOAB: description of the publication

Chapter Globally Optimised Energy-Efficient Data Centres by O'Sullivan, Barry

Subjects: “…energy modelling, energy analysis, energy transparency, energy aware, software engineering…”
DOAB: download the publication
DOAB: description of the publication

Open Source Systems: Towards Robust Practices 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedings

Subjects: “…open source software…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Kollaborative Innovationen - Die innerbetriebliche Nutzung externer Wissensbestände in vernetzten Entwicklungsprozessen

Subjects: “…Software…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Chapter Globally Optimised Energy-Efficient Data Centres by O'Sullivan, Barry

Subjects: “…energy modelling, energy analysis, energy transparency, energy aware, software engineering…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II /

Table of Contents: “…Probabilistic Systems -- A Probabilistic Logic for Verifying Continuous-time Markov Chains -- Under-Approximating Expected Total Rewards in POMDPs -- Correct Probabilistic Model Checking with Floating-Point Arithmetic -- Correlated Equilibria and Fairness in Concurrent Stochastic Games -- Omega Automata -- A Direct Symbolic Algorithm for Solving Stochastic Rabin Games -- Practical Applications of the Alternating Cycle Decomposition -- Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation -- On-The-Fly Solving for Symbolic Parity Games -- Equivalence Checking -- Distributed Coalgebraic Partition Refinement -- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques -- Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time -- Monitoring and Analysis -- A Theoretical Analysis of Random Regression Test Prioritization -- Verified First-Order Monitoring with Recursive Rules -- Maximizing Branch Coverage withConstrained Horn Clauses -- Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation -- Tools / Optimizations, Repair and Explainability -- Adiar: Binary Decision Diagrams in External Memory -- Forest GUMP: A Tool for Explanation -- Alpinist: an Annotation-Aware GPU Program Optimizer -- Automatic Repair for Network Programs -- 11th Competition on Software Verification / SV-COMP 2022 -- Progress on Software Verification: SV-COMP 2022 -- AProVE: Non-Termination Witnesses for C Programs (Competition Contribution) -- BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution) -- A Prototype for Data Race Detection in CSeq 3 (Competition Contribution) -- Dartagnan: SMT-based Violation Witness Validation (Competition Contribution) -- Deagle: An SMT-based Veri er for Multi-threaded Programs (Competition Contribution) -- The Static Analyzer Frama-C in SV-COMP (Competition Contribution) -- GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution) -- Graves-CPA: A Graph-Attention Veri er Selector (Competition Contribution) -- GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution) -- The Static Analyzer Infer in SV-COMP (Competition Contribution) -- LART: Compiled Abstract Execution (Competition Contribution) -- Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding (Competition Contribution) -- Symbiotic-Witch: A Klee-Based Violation Witness Checker (Competition Contribution) -- Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection -- Ultimate GemCutter and the Axes of Generalization (Competition Contribution) -- Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution).…”
Link to Metadata

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /

Subjects: “…Software engineering.…”
Link to Metadata