UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 88

Sortiert nach

The Rhetoric of Women’s Humour in Barbara Pym’s Fiction

Varghaiyan, Naghmeh

2021

Volltextzugriff (PDF)

Testing of data-centric and event-based dynamic service compositions

Software testing, verification & reliability, 2013-09, Vol.23 (6), p.465-497

2013

Volltextzugriff (PDF)

Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

2011

Volltextzugriff (PDF)

Governance and Regulations Implications on Machine Learning (Brief Announcement)

Cyber Security Cryptography and Machine Learning, 2019, Vol.11527, p.208-211

2019

Volltextzugriff (PDF)

FreaAI: Automated Extraction of Data Slices to Test Machine Learning Models

Engineering Dependable and Secure Machine Learning Systems, 2020, Vol.1272, p.67-83

2020

Volltextzugriff (PDF)

Ugly Victorian Churches and Anglo-Catholic Rituals: Spiritual Uplift in Barbara Pym's Novels of the 1950s

Interdisciplinary literary studies, 2009-10, Vol.11 (1), p.1-11

Raz, Orna

2009

Volltextzugriff (PDF)

Proactive and pervasive combinatorial testing

2018 IEEE/ACM 40th International Conference on Software Engineering: Software Engineering in Practice Track (ICSE-SEIP), 2018, p.144-152

2018

Volltextzugriff (PDF)

Semantic anomaly detection in online data sources

International Conference on Software Engineering: Proceedings of the 24th International Conference on Software Engineering; 19-25 May 2002, 2002, p.302-312

2002

Volltextzugriff (PDF)

Revisiting Synthesis of GR(1) Specifications

Hardware and Software: Verification and Testing, p.161-181

Volltextzugriff (PDF)

Towards efficient measuring of web services API coverage

Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems, 2011, p.22-28

2011

Volltextzugriff (PDF)

An Efficient and Flexible Approach to Resolution Proof Reduction

Hardware and Software: Verification and Testing, p.182-196

Volltextzugriff (PDF)

Hardware and Software: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

1, 2011

Volltextzugriff (PDF)

Reaching Coverage Closure in Post-silicon Validation

Hardware and Software: Verification and Testing, p.60-75

Volltextzugriff (PDF)

Research abstract for semantic anomaly detection in dynamic data feeds with incomplete specifications

International Conference on Software Engineering: Proceedings of the 24th International Conference on Software Engineering; 19-25 May 2002, 2002, p.733-734