Skip to main content

Research Repository

Advanced Search

All Outputs (28)

Goal oriented personalisation with SCORM (2005)
Presentation / Conference Contribution
Power, G., Davis, H. C., Cristea, A. I., Stewart, C., & Ashman, H. (2005, December). Goal oriented personalisation with SCORM. Presented at Fifth IEEE International Conference on Advanced Learning Technologies (ICALT'05) IEEE

Maximum constraint satisfaction on diamonds (2005)
Presentation / Conference Contribution
Krokhin, A., & Larose, B. (2005, December). Maximum constraint satisfaction on diamonds. Presented at 11th International Conference on Principles and Practice of Constraint Programming {(CP'05)

Evaluation of adaptive hypermedia systems' conversion (2005)
Presentation / Conference Contribution
Cristea, A., Ashman, H., Stewart, C., & Cristea, P. (2005, December). Evaluation of adaptive hypermedia systems' conversion. Presented at Proceedings of the sixteenth ACM conference on Hypertext and hypermedia ACM

Realising evidence-based software engineering (2005)
Presentation / Conference Contribution
Kitchenham, B., Budgen, D., Brereton, P., & Linkman, S. H. (2005, February). Realising evidence-based software engineering. Presented at Proceedings of the 2005 Workshop on Realising Evidence-Based Software Engineering, REBSE '05, St Louis, USA

This paper provides an introduction to the papers for the Workshop on Realising Evidence-Based Software Engineering. Copyright 2005 ACM.

International workshop on realising evidence-based software engineering (2005)
Presentation / Conference Contribution
Budgen, D., Brereton, P., Kitchenham, B., & Linkman, S. (2005, February). International workshop on realising evidence-based software engineering. Presented at Proceedings - International Conference on Software Engineering, St Louis, USA

This workshop is concerned with defining the procedures that are needed to establish a sound empirical foundation for the practices of Software Engineering. Our goal is to begin building a community that will review, analyse, codify and promulgate so... Read More about International workshop on realising evidence-based software engineering.

A conceptual model for virtual organizations in the grid (2005)
Presentation / Conference Contribution
Song, W., Li, X., Zhuge, H., & Fox, G. (2005, November). A conceptual model for virtual organizations in the grid. Presented at Fourth International Conference on Grid and Cooperative Computing, Beijing, China

One of the key problems with virtual organizations in the context of the (Semantic) Grid is we don’t know how to describe the components used in virtual organizations because they appear to be dynamic, dispersed, transient, type-vague (or we don’t kn... Read More about A conceptual model for virtual organizations in the grid.

Finding Frequent Patterns in a String in Sublinear Time (2005)
Presentation / Conference Contribution
Berenbrink, P., Ergun, F., & Friedetzky, T. (2005, October). Finding Frequent Patterns in a String in Sublinear Time. Presented at 13th Annual European Symposium on Algorithms : ESA 2005, Ibiza, Spain

We consider the problem of testing whether (a large part of) a given string X of length n over some finite alphabet is covered by multiple occurrences of some (unspecified) pattern Y of arbitrary length in the combinatorial property testing model. Ou... Read More about Finding Frequent Patterns in a String in Sublinear Time.

Pedagogic data as a basis for Web service fault models (2005)
Presentation / Conference Contribution
Looker, N., Burd, L., Drummond, S., Xu, J., & Munro, M. (2005, October). Pedagogic data as a basis for Web service fault models. Presented at IEEE International Workshop on Service-Oriented System Engineering (SOSE'05)., Beijing, PRC

This paper outlines our method for deriving Fault Models for use with our WS-FIT tool that can be used to assess the dependability of SOA. Since one of the major issues with extracting these heuristic rules and Fault Models is the availability of sof... Read More about Pedagogic data as a basis for Web service fault models.

Business integration models in the context of web services (2005)
Presentation / Conference Contribution
Song, W., Chen, D., Chung, J.-Y., Chen, G., & Ni, L. (2005, October). Business integration models in the context of web services. Presented at IEEE International Conference on e-Business Engineering 2005 : ICEBE 2005., Beijing, China

E-commerce development and applications have been bringing the Internet to business and marketing and reforming our current business styles and processes. The rapid development of the Web, in particular, the introduction of the semantic web and web s... Read More about Business integration models in the context of web services.

A Framework for Software Architecture Visualization Assessment (2005)
Presentation / Conference Contribution
Gallagher, K., Hatch, A., & Munro, M. (2005, September). A Framework for Software Architecture Visualization Assessment. Presented at Proceedings of the 3rd IEEE Workshop on Visualizing Software (VISSOFT 2005, Budapest, Hungary

In order to assess software architecture visualisation strategies, we qualitatively characterize then construct an assessment framework with 7 key areas and 31 features. The framework is used for evaluation and comparison of various strategies from m... Read More about A Framework for Software Architecture Visualization Assessment.

Matrix and graph orders derived from locally constrained graph homomorphisms (2005)
Presentation / Conference Contribution
Fiala, J., Paulusma, D., & Telle, J. A. (2023, August). Matrix and graph orders derived from locally constrained graph homomorphisms. Presented at 30th International Symposium on Mathematical Foundations of Computer Science : MFCS 2005, Gdansk, Poland

We consider three types of locally constrained graph homomorphisms: bijective, injective and surjective. We show that the three orders imposed on graphs by existence of these three types of homomorphisms are partial orders. We extend the well-known c... Read More about Matrix and graph orders derived from locally constrained graph homomorphisms.

Path coupling using stopping times (2005)
Presentation / Conference Contribution
Bordewich, M., Dyer, M., & Karpinski, M. (2005, August). Path coupling using stopping times. Presented at 15th International Symposium Fundamentals of Computation Theory : FCT 2005., Lubeck, Germany

We analyse the mixing time of Markov chains using path coupling with stopping times. We apply this approach to two hypergraph problems. We show that the Glauber dynamics for independent sets in a hypergraph mixes rapidly as long as the maximum degree... Read More about Path coupling using stopping times.

The External Network Problem with edge- or arc-connectivity requirements (2005)
Presentation / Conference Contribution
van den Heuvel, J., & Johnson, M. (2004, August). The External Network Problem with edge- or arc-connectivity requirements. Presented at Combinatorial and Algorithmic Aspects of Networking (CAAN 2004), Banff, Alberta, Canada

The connectivity of a communications network can often be enhanced if the nodes are able, at some expense, to form links using an external network. In this paper, we consider the problem of how to obtain a prescribed level of connectivity with a mini... Read More about The External Network Problem with edge- or arc-connectivity requirements.