Skip to main content

Research Repository

Advanced Search

Outputs (64)

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.

Virtual organization for realcourse (2005)
Book Chapter
Song, W., & Li, X. (2005). Virtual organization for realcourse. In A. Nilsson, R. Gustas, W. Wojtkowski, W. Wojtkowski, S. Wrycza, & J. Zupancic (Eds.), Advances in information system development : bridging the gap between academia & system development. Springer Verlag

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.

Hierarchical Multicast Tree Algorithms for Application Layer Mesh Networks (2005)
Presentation / Conference Contribution
Tu, W., Jie, W., & Wu, J. (2005, August). Hierarchical Multicast Tree Algorithms for Application Layer Mesh Networks. Presented at The International Conference on Computer Networks and Mobile Computing, Zhangjiajie, China

This paper proposes a set of novel multicast algorithms for m-D mesh overlay networks that can achieve shorter multicast delay and less resource consumptions. In contrast to previous approaches, our algorithms partition the group members into cluster... Read More about Hierarchical Multicast Tree Algorithms for Application Layer Mesh Networks.

Supermodular functions and the complexity of MAX CSP (2005)
Journal Article
Cohen, D., Cooper, M., Jeavons, P., & Krokhin, A. (2005). Supermodular functions and the complexity of MAX CSP. Discrete Applied Mathematics, 149(1-3), 53-72. https://doi.org/10.1016/j.dam.2005.03.003

In this paper we study the complexity of the maximum constraint satisfaction problem (MAX CSP) over an arbitrary finite domain. An instance of MAX CSP consists of a set of variables and a collection of constraints which are applied to certain specifi... Read More about Supermodular functions and the complexity of MAX CSP.

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.

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.