UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Using Formal Specifications to Support Testing

ACM computing surveys, 2009-02, Vol.41 (2), p.1-76

2009

Volltextzugriff (PDF)

Enhancing African orphan crops with genomics

Nature genetics, 2020-04, Vol.52 (4), p.356-360

2020

Volltextzugriff (PDF)

Sequence labeling to detect stuttering events in read speech

Computer speech & language, 2020-07, Vol.62, p.101052, Article 101052

2020

Volltextzugriff (PDF)

A verified and optimized Stream X‐Machine testing method, with application to cloud service certification

Software testing, verification & reliability, 2020-05, Vol.30 (3), p.n/a

2020

Volltextzugriff (PDF)

JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction

Automated software engineering, 2007-12, Vol.14 (4), p.369-418

Simons, Anthony J. H.

2007

Volltextzugriff (PDF)

Rapid Development of Service-based Cloud Applications: The Case of the Cloud Application Platforms

International journal of systems and service oriented engineering, 2015-10, Vol.5 (4), p.1-25

2015

Volltextzugriff (PDF)

Z2SAL: a translation-based model checker for Z

Formal aspects of computing, 2011-01, Vol.23 (1), p.43-71

2011

Volltextzugriff (PDF)

Guest editor's introduction to the special section on TAIC-PART 2010 - Testing: Academic and Industrial Conference-Practice and Research Techniques

Software, practice & experience, 2013-09, Vol.43 (9), p.1101-1102

2013

Volltextzugriff (PDF)

Exotic tree species displace indigenous ones on farms at intermediate altitudes around Mount Kenya

Agroforestry systems, 2011-10, Vol.83 (2), p.133-147

2011

Volltextzugriff (PDF)

Early survival and growth of Allanblackia stuhlmannii (Clusiaceae): a threatened tropical rainforest tree of high economic value in Tanzania

African journal of ecology, 2015-12, Vol.53 (4), p.572-580

2015

Volltextzugriff (PDF)

Early survival and growth of Allanblackia stuhlmannii (Clusiaceae): a threatened tropical rainforest tree of high economic value in Tanzania

African journal of ecology, 2015-12, Vol.53 (4), p.572

2015

Volltextzugriff (PDF)

Testing Biodegradable Seedling Containers as an Alternative for Polythene Tubes in Tropical Small-Scale Tree Nurseries

Small-scale forestry, 2014-06, Vol.13 (2), p.127-142

2014

Volltextzugriff (PDF)

Kalman Filter Based Prediction and Forecasting of Cloud Server KPIs

IEEE transactions on services computing, 2023-07, Vol.16 (4), p.1-14

2023

Volltextzugriff (PDF)

A theory of regression testing for behaviourally compatible object types

Software testing, verification & reliability, 2006-09, Vol.16 (3), p.133-156

Simons, Anthony J. H.

2006

Volltextzugriff (PDF)

Regression Analysis of Predictions and Forecasts of Cloud Data Center KPIs Using the Boosted Decision Tree Algorithm

IEEE transactions on big data, 2023-08, Vol.9 (4), p.1071-1085

2023

Volltextzugriff (PDF)

Laparoscopic-assisted colectomy learning curve

Diseases of the colon & rectum, 1995-06, Vol.38 (6), p.600-603

1995

Volltextzugriff (PDF)

Experiences using Z2SAL

2014 International Conference on Advanced Computer Science and Information System, 2014, p.225-231

2014

Volltextzugriff (PDF)

A Formula-Driven Scalable Benchmark Model for ABM, Applied to FLAME GPU

Euro-Par 2017: Parallel Processing Workshops, p.703-714

Volltextzugriff (PDF)

Intra-abdominal abscesses following laparoscopic and open appendectomies

Journal of gastrointestinal surgery, 1997, Vol.1 (2), p.188-193

1997

Volltextzugriff (PDF)

Testing with Guarantees and the Failure of Regression Testing in eXtreme Programming

Extreme Programming and Agile Processes in Software Engineering, 2005, p.118-126

2005

Volltextzugriff (PDF)

Participatory domestication of agroforestry trees: An example from the Peruvian Amazon

Development in practice, 2001-08, Vol.11 (4), p.425-433

2001

Volltextzugriff (PDF)

Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing

The Semantic Web: Research and Applications, Vol.5554, p.593-607

Volltextzugriff (PDF)

Detecting Stuttering Events in Transcripts of Children’s Speech

Statistical Language and Speech Processing, p.217-228

Volltextzugriff (PDF)

Z2SAL: a translation-based model checker for Z: Papers from the ABZ 2008 Conference

Formal aspects of computing, 2011, Vol.23 (1), p.43-71

2011

Volltextzugriff (PDF)

Wound recurrence following laparoscopic colon cancer resection. Results of the American Society of Colon and Rectal Surgeons Laparoscopic Registry

Diseases of the colon & rectum, 1996-10, Vol.39 (10 Suppl), p.S20-S23

1996

Volltextzugriff (PDF)

1 – 25 von 657

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(555)
Mit Volltextzugriff
(539)

Publikationsform

2 weitere anzeigen...

Weniger anzeigen...

Sprache

Erscheinungsjahr

n.n

Thema

15 weitere anzeigen...

Weniger anzeigen...

Kollektion

15 weitere anzeigen...

Weniger anzeigen...

Zeitschrift / Serie

5 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(2)

Menü

Weitere Dienste

Einstellungen

Using Formal Specifications to Support Testing

Enhancing African orphan crops with genomics

Sequence labeling to detect stuttering events in read speech

A verified and optimized Stream X‐Machine testing method, with application to cloud service certification

JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction

Rapid Development of Service-based Cloud Applications: The Case of the Cloud Application Platforms

Z2SAL: a translation-based model checker for Z

Guest editor's introduction to the special section on TAIC-PART 2010 - Testing: Academic and Industrial Conference-Practice and Research Techniques

Exotic tree species displace indigenous ones on farms at intermediate altitudes around Mount Kenya

Early survival and growth of Allanblackia stuhlmannii (Clusiaceae): a threatened tropical rainforest tree of high economic value in Tanzania

Early survival and growth of Allanblackia stuhlmannii (Clusiaceae): a threatened tropical rainforest tree of high economic value in Tanzania

Testing Biodegradable Seedling Containers as an Alternative for Polythene Tubes in Tropical Small-Scale Tree Nurseries

Kalman Filter Based Prediction and Forecasting of Cloud Server KPIs

A theory of regression testing for behaviourally compatible object types

Regression Analysis of Predictions and Forecasts of Cloud Data Center KPIs Using the Boosted Decision Tree Algorithm

Laparoscopic-assisted colectomy learning curve

Experiences using Z2SAL

A Formula-Driven Scalable Benchmark Model for ABM, Applied to FLAME GPU

Intra-abdominal abscesses following laparoscopic and open appendectomies

Testing with Guarantees and the Failure of Regression Testing in eXtreme Programming

Participatory domestication of agroforestry trees: An example from the Peruvian Amazon

Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing

Detecting Stuttering Events in Transcripts of Children’s Speech

Z2SAL: a translation-based model checker for Z: Papers from the ABZ 2008 Conference

Wound recurrence following laparoscopic colon cancer resection. Results of the American Society of Colon and Rectal Surgeons Laparoscopic Registry

Suchergebnisse filtern