Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
20 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Verlag

Publikation

Sprache

20 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Bug localization using latent Dirichlet allocation
    Lukins, Stacy K. ; Kraft, Nicholas A. ; et al.
    In: Information & Software Technology, Jg. 52 (2010-09-01), Heft 9, S. 972-990
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    History of Abstract Interpretation.
    Giacobazzi, Roberto ; Ranzato, Francesco
    In: IEEE Annals of the History of Computing, Jg. 44 (2022-04-01), Heft 2, S. 33-43
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    A Microstructural Approach to Self-Organizing: The Emergence of Attention Networks.
    Tonellato, Marco ; Tasselli, Stefano ; et al.
    In: Organization Science, Jg. 35 (2024-03-01), Heft 2, S. 496-524
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    An Empirical Methodology to Evaluate Vulnerability Discovery Models.
    Massacci, Fabio ; Nguyen, Viet Hung
    In: IEEE Transactions on Software Engineering, Jg. 40 (2014-12-01), Heft 12, S. 1147-1162
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Volltext
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Reliability modeling of multi-version software system incorporating the impact of infected patching.
    Anand, Adarsh ; Kaur, Jasmine ; et al.
    In: International Journal of Quality & Reliability Management, Jg. 37 (2020-08-01), Heft 6/7, S. 1071-1085
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    MODELING TWO-DIMENSIONAL SOFTWARE MULTI-UPGRADATION AND RELATED RELEASE PROBLEM (A MULTI-ATTRIBUTE UTILITY APPROACH).
    GARMABAKI, AMIR H. S. ; AGGARWAL, ANU. G. ; et al.
    In: International Journal of Reliability, Quality & Safety Engineering, Jg. 19 (2012-06-01), Heft 3, S. -1- (23S.)
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Phase-type software reliability model: parameter estimation algorithms with grouped data.
    Okamura, Hiroyuki ; Dohi, Tadashi
    In: Annals of Operations Research, Jg. 244 (2016-09-01), Heft 1, S. 177-208
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record at Springer (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Using Abstraction to Guide the Search for Long Error Traces.
    Nanshi, Kuntal ; Somenzi, Fabio
    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems, Jg. 32 (2013-03-01), Heft 3, S. 453-466
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    How does testing affect the availability of aging software systems?
    Grottke, Michael ; Schleich, Benjamin
    In: Performance Evaluation, Jg. 70 (2013-03-01), Heft 3, S. 179-196
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Software Reliability Modeling and Analysis.
    Scholz, F. W.
    In: IEEE Transactions on Software Engineering, Jg. 12 (1986), Heft 1, S. 25-31
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Testing bidirectional model transformation using metamorphic testing.
    He, Xiao ; Chen, Xing ; et al.
    In: Information & Software Technology, Jg. 104 (2018-12-01), S. 109-129
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Factors influencing the adoption of insect management technology.
    Harper, Jayson K. ; Rister, M. Edward
    In: American Journal of Agricultural Economics, Jg. 72 (1990-11-01), Heft 4, S. 997-1005
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record in JSTOR (Volltext)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Aiding exploratory testing with pruned GUI models.
    Reis, Jacinto ; Mota, Alexandre
    In: Information Processing Letters, Jg. 133 (2018-05-01), S. 49-55
    academicJournal
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Verifying Linearizability via Optimized Refinement Checking.
    Liu, Yang ; Chen, Wei ; et al.
    In: IEEE Transactions on Software Engineering, Jg. 39 (2013-07-01), Heft 7, S. 1018-1039
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Volltext
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Automatic TLM Fault Localization for SystemC.
    Le, Hoang M. ; Grosse, Daniel ; et al.
    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems, Jg. 31 (2012-08-01), Heft 8, S. 1249-1262
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    An optimum test stopping criterion based on software reliability modelling and Taguchi methods.
    John, Boby
    In: International Journal of Reliability & Safety, Jg. 6 (2012-09-01), Heft 4, S. 372-385
    academicJournal
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Two Dimensional Multi-Release Software Reliability Modeling and Optimal Release Planning.
    Kapur, P. K. ; Pham, H. ; et al.
    In: IEEE Transactions on Reliability, Jg. 61 (2012-09-01), Heft 3, S. 758-768
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Validation of SDL-based architectural design models using communication-based coverage criteria
    Restrepo, Andy ; Eric Wong, W.
    In: Information & Software Technology, Jg. 54 (2012-12-01), Heft 12, S. 1418-1431
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Structured Markov Chain Monte Carlo.
    Sargent, Daniel J. ; Hodges, James S. ; et al.
    In: Journal of Computational & Graphical Statistics, Jg. 9 (2000-06-01), Heft 2, S. 217-234
    Online academicJournal
    Zugriff:
    View record in JSTOR (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    COMPACT REPRESENTATIONS OF SEARCH IN COMPLEX DOMAINS.
    BEN-ASHER, YOSI ; FARCHI, EITAN
    In: International Game Theory Review, Jg. 7 (2005-03-01), Heft 1, S. 73-90
    academicJournal
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -