Grad Students
|
||||
Thesis-based
Filip Balas |
Course-based | Past Students
Roberto Flores |
Withdrawn Cameron Roe David Menks |
|
For new students: Potential MSc topics |
Filip Balas |
|
Gabriel
Becerra |
|
Allen Chi |
|
Jason
Heard |
|
Chad La Fournie |
|
Jerrall Prakash |
|
Paul Werbicki |
|
David Baker |
|
Guy Davis |
|
Jim Gee |
|
Ibrahim Jadalown |
|
George Luo |
|
David Menks |
|
Roberto Flores
|
|
|
This thesis attempts to describe an introductory process model for open-source software development. Common characteristics are identified and discussed with specific examples from various open-source projects. The results lend support to suggestions that open-source software development follows an adaptive lifecycle, with a flexible management model emphasizing leadership, collaboration, and accountability. Moreover, open source would seem to represent an alternative approach to distributed software development, able to offer useful information about common problems as well as possible solutions |
|
A model of agent communication based upon social commitments has recently been proposed in order to address this lack of coherence. However, there exists only trivial examples demonstrating this models application. The Contract Net is a well known task allocation mechanism that requires non-trivial communication. Through the use of formal methods and software implementation, this thesis demonstrates that a communication model based on social commitments can be used to support the communication needs inherent within the bidding mech-anism of the Contract Net protocol |
|
In order to verify that design patters are applicable to the knowledge representation domain, CLASSIC was chosen as a model for the design of a knowledge inference engine. A number of design patterns were applied to the design and implementation of the system. The results show that design patterns are applicable to the domain. In addition, the use of design patterns makes the system more flexible and extensible |
|
This research aims to develop an in-depth understanding of the mobile agent mechanism by designing and implementing mobile agent based applications, and to evaluate the applicability of mobile agent applications based on comparisons between the client/server mechanism and the mobile agent mechanism. Real and concrete example applicaions are develeoped to provide the basis of verification. The final discussion after implementation concludes that mobile agents are appealing as a design paradigm as a whole, even though the author cannot find overwhelming reasons to apply mobile agents in the individual verification examples. |
Cameron Roe |
|
David Menks |
|
Last updated 2006-01-02 10:52 |