Search Results - "proactivity"
Suggested Topics within your search.
Suggested Topics within your search.
- Sports & outdoor recreation 10
- Sports management & facilities 10
- Sports training & coaching 10
- Finance 8
- Politics & government 8
- History of engineering & technology 7
- Development studies 6
- Educational strategies & policy 5
- Technology: general issues 5
- Artificial intelligence 4
- Business ethics & social responsibility 4
- Business strategy 4
- Computer security 4
- Higher & further education, tertiary education 4
- Occupational & industrial psychology 4
- Society & social sciences 4
- Water supply & treatment 4
- Asian history 3
- Computer science 3
- Environmental economics 3
- Globalization 3
- Industry & industrial studies 3
- International law 3
- International relations 3
- Machine learning 3
- Reliability engineering 3
- Robotics 3
- Sociology 3
- Sustainability 3
- 20th century history: c 1900 to c 2000 2
-
241
-
242
-
243
Children in Custody Disputes Matching Legal Proceedings to Problems /
Published 2024Table of Contents: “…Challenges when family conflicts meet the law - A proactive approach -- 10. Beyond the Horizon: Matching Legal Proceedings to the Problem in Custody Disputes.…”
Link to Metadata
Electronic eBook -
244
-
245
Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2021Table of Contents: “…FASE Contributions -- On Benchmarking for Concurrent Runtime Verification -- Certified Abstract Cost Analysis -- Bootstrapping Automated Testing for RESTful Web Services -- A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features -- Finding a Universal Execution Strategy for Model Transformation Networks -- CoVEGI: Cooperative Veri cation via Externally Generated Invariants -- Engineering Secure Self-Adaptive Systems with Bayesian Games -- An Abstract Contract Theory for Programs with Procedures -- Paracosm: A Test Framework for Autonomous Driving Simulations -- Compositional Analysis of Probabilistic Timed Graph Transformation Systems -- Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds -- Effects of Program Representation on Pointer Analyses - An Empirical Study -- Keeping Pace with the History of Evolving Runtime Models -- SpecTest: Specification-Based Compiler Testing -- PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems -- Understanding Local Robustness of Deep Neural Networks under Natural Variations -- Test-Comp Contributions -- Status Report on Software Testing: Test-Comp 2021 -- CoVeriTest with Adaptive Time Scheduling (Competition Contribution) -- FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution) -- Symbiotic 8: Parallel and Targeted Test Generation (Competition Contribution).…”
Link to Metadata
Electronic eBook -
246
-
247
-
248
-
249
-
250
-
251
-
252
-
253
-
254
-
255
-
256
-
257
-
258
-
259
-
260