NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 14
  • 3
  • 2
  • 1
  • Tagged with
  • 937
  • 143
  • 105
  • 73
  • 73
  • 63
  • 44
  • 39
  • 35
  • 21
  • 16
  • 15
  • 15
  • 15
  • 15
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 51 to 60 of 937 (0.049 seconds)
51

HEDGEHOG : automatic verification of design patterns in Java

Blewitt, Alex January 2006 (has links)
Design patterns are widely used by designers and developers for building complex systems in object-oriented programming languages such as Java. However, systems evolve over time, increasing the chance that the pattern in its original form will be broken. To verify that a design pattern has not been broken involves specifying the original intent of the design pattern. Whilst informal descriptions of patterns exist, no formal specifications are available due to differences in implementations between programming languages. This thesis shows that many patterns (implemented in Java) can be verified automatically. Patterns are defined in terms of variants, mini-patterns, and artefacts in a pattern description language called SPINE. These specifications are then processed by HEDGEHOG, an automated proof tool that attempts to prove that Java source code meets these specifications.
005.3
52

Modelling semantic search : the evolution of knowledge modelling, retrieval models and query processing

Azzam, Hany January 2011 (has links)
No description available.
005.3
53

Automatic Image Annotation and Categorization

Wang, Yong January 2008 (has links)
No description available.
005.3
54

Modelling Agile software processes using bayesian networks

Hearty, Peter Stewart January 2008 (has links)
No description available.
005.3
55

Improved Software Project Risk Assessment Using Bayesian Nets

Radlinski, Lukasz January 2008 (has links)
No description available.
005.3
56

Searching for quantum software

Massey, Paul Stephen January 2006 (has links)
No description available.
005.3
57

On the modelling of computer software reliability and quality

Littlewood, B. January 1978 (has links)
No description available.
005.3
58

Towards flexible and scalable distributed monitoring with mobile agents

Liotta, Antonio January 2001 (has links)
No description available.
005.3
59

Image segmentation using local surface fitting

Wright, Adrian January 2001 (has links)
No description available.
005.3
60

String algorithms on sequence comparison

Pinzon, Yoan Jose January 2001 (has links)
No description available.
005.3

Page generated in 0.0529 seconds