Search results
Create the page "Computer-Aided Verification" on this wiki! See also the search results found.
- * Testing, verification, and validation5 KB (557 words) - 07:07, 13 July 2020
- ...voice, and skin biometrics; Signature recognition; Multimodal biometrics; Verification and identification techniques; Accuracy of biometric technologies; Authenti ...lti-agent planning and cooperation; Logics and formal models of for agency verification; Nomadic agents; Negotiation, auctions, persuasion; Privacy and security is18 KB (2,036 words) - 02:36, 10 July 2020
- ...ing; Visualizing Concurrent Programs; Code and Programs Visual Exploration/Verification; Visualizing Big Data Links; Web-based Data Visualization; Visualizing Miss6 KB (788 words) - 02:42, 10 July 2020
- ...tterns, UML, etc.); Software process and workflow; Software validation and verification; Software testing and testing tools; Software implementation; Software proj Information modeling; GUI related software; Computer-aided software design; Hierarchical APIs; APIs roles in software development; Ont13 KB (1,573 words) - 12:00, 10 July 2020
- Formal aspects of security; Security analysis methodologies; Security verification; Security protocols; Security architectures and formalisms; Security and de15 KB (1,886 words) - 16:16, 25 August 2020
- * Formal verification of distributed systems4 KB (436 words) - 12:06, 25 August 2020
- Verification and validation of safety; Safety tools; Evaluation of10 KB (1,210 words) - 20:17, 22 November 2020
- and testing; Validation and verification of regression in small data9 KB (1,239 words) - 14:37, 29 December 2020
- ...ce; Optimal (self-) adaptation; Accuracy validation of (self-) adaptation; Verification; Testing real-time (self-) adaptive performance; Performance analysis of (s8 KB (931 words) - 15:28, 29 December 2020
- validation and verification mechanisms; Efficient data integration and19 KB (2,346 words) - 10:51, 9 December 2020
- Model verification and validation; Fault-tolerant systems; Simulation, measurement and monitoring; Model verification and validation,9 KB (1,079 words) - 11:12, 9 December 2020
- Software tools, Programming, Simulation, Verification, Validation5 KB (640 words) - 21:39, 17 December 2020
- ...all data sets; Small datasets for benchmarking and testing; Validation and verification of regression in small data sets; Small data toolkits; Data summarization9 KB (1,229 words) - 03:37, 3 December 2021
- Verification, validation, and testing2 KB (273 words) - 04:32, 17 March 2021
- * Computer-aided cryptographic engineering * Verification methods and tools for secure design3 KB (288 words) - 17:03, 7 April 2021
- * computer-aided verification * implementation of verification methods and model checking2 KB (213 words) - 15:39, 8 April 2021
- * specification and verification1 KB (156 words) - 12:17, 15 April 2021
- *specification and verification2 KB (245 words) - 11:54, 16 April 2021
- ...tworking for homeland security; Real-time intelligence data validation and verification mechanisms; Efficient data integration and mining techniques for NATO count19 KB (2,317 words) - 02:40, 26 November 2021
- ...Evaluation of safety data, and mitigation and prevention strategies; Model verification and validation; Fault-tolerant systems; Simulation, statistical analysis, a ...algorithms for analytic modeling; System measurement and monitoring; Model verification and validation, simulation, statistical analysis; Experimental design, and9 KB (1,086 words) - 02:44, 26 November 2021
- ...nd error models; Hazard analysis; Cost and effectiveness of system safety; Verification and validation of safety; Safety tools; Evaluation of safety data, and miti10 KB (1,228 words) - 02:46, 26 November 2021