Skip to main content

Research Repository

Advanced Search

All Outputs (19)

Sky-projected Shack-Hartmann laser guide star (2004)
Presentation / Conference Contribution
Butterley, T., Buscher, D. F., Love, G. D., Morris, T. J., Myers, R. M., & Wilson, R. W. (2004, December). Sky-projected Shack-Hartmann laser guide star

Identifying efficiently solvable cases of Max CSP (2004)
Presentation / Conference Contribution
Cohen, D., Cooper, M., Jeavons, P., & Krokhin, A. (2004, December). Identifying efficiently solvable cases of Max CSP. Presented at 21st International Symposium on Theoretical Aspects of Computer Science

Links for learning: linking for an adaptive learning environment (2004)
Presentation / Conference Contribution
Moore, A., Stewart, C., Martin, D., Brailsford, T., & Ashman, H. (2004, December). Links for learning: linking for an adaptive learning environment. Presented at IASTED Intl Conference on Web-Based Education

Codifying a service architectural style (2004)
Presentation / Conference Contribution
Budgen, D., Brereton, P., & Turner, M. (2004, February). Codifying a service architectural style. Presented at Proceedings - International Computer Software and Applications Conference, Hong Kong

We discuss what constitutes a 'software service model' and propose a framework that can accommodate both component-based and service-based systems, while also distinguishing between 'static' and 'dynamic' forms of service delivery. We then draw upon... Read More about Codifying a service architectural style.

Computing curricula software engineering: Position paper (2004)
Presentation / Conference Contribution
Budgen, D. (2004, September). Computing curricula software engineering: Position paper. Presented at International Computer Software and Applications Conference, Hong Kong

The computing curricula software engineering (CCSE) volume and its development is discussed. The processes adopted for developing this volume have a numer of strengths and weaknesses. The strengths include: the thoroughness of the development process... Read More about Computing curricula software engineering: Position paper.

GameOD: An Internet Based Game-On-Demand Framework (2004)
Presentation / Conference Contribution
Li, F., Lau, R., & Kilis, D. (2004, November). GameOD: An Internet Based Game-On-Demand Framework. Presented at ACM Symposium on Virtual Reality Software and Technology VRST '04., Hong Kong

Multiplayer online 3D games are becoming very popular in recent years. However, existing games require the complete game content to be installed prior to game playing. Since the content is usually large in size, it may be difficult to run these games... Read More about GameOD: An Internet Based Game-On-Demand Framework.

Supporting Continuous Consistency in Multiplayer Online Games (2004)
Presentation / Conference Contribution
Li, F., Li, L., & Lau, R. (2004, October). Supporting Continuous Consistency in Multiplayer Online Games. Presented at 12th Annual ACM International Conference on Multimedia, New York, USA

Multiplayer online games have become very popular in recent years. However, they generally suffer from network latency problem. If a player changes its states, it will take some time before the changes are reflected to other concurrent players. This... Read More about Supporting Continuous Consistency in Multiplayer Online Games.

Environment Authentication through 3D Structural Analysis (2004)
Presentation / Conference Contribution
Breckon, T., & Fisher, R. (2004, October). Environment Authentication through 3D Structural Analysis. Presented at Proc. International Conference on Image Analysis and Recognition

Generating Regression Tests via Model Checking (2004)
Presentation / Conference Contribution
Xu, L., Dias, M., & Richardson, D. J. (2004, September). Generating Regression Tests via Model Checking. Presented at 28th Annual International Computer Software and Applications Conference, Hong Kong

During software maintenance, regression testing is an expensive but critical activity to ensure that modified versions of the system do not "regress". As software evolves, chances are that not only the implementation changes, but that the specificati... Read More about Generating Regression Tests via Model Checking.

Some notes on interprocedural program slicing (2004)
Presentation / Conference Contribution
Gallagher, K. (2004, September). Some notes on interprocedural program slicing. Presented at 4th IEEE International Workshop on Source Code Analysis and Manipulation : SCAM-4., Chicago, Illinois

Weiser's algorithm for computing interprocedural slices has a serious drawback: it generates spurious criteria which are not feasible in the control flow of the program. When these extraneous criteria are used the slice becomes imprecise in that it h... Read More about Some notes on interprocedural program slicing.

An investigation on using web services for micro-payment (2004)
Presentation / Conference Contribution
Song, W., Chen, D., Chung, J.-Y., & Zhang, L. (2004, September). An investigation on using web services for micro-payment. Presented at European Conference on Web Services, Erfurt, Germany

E-commerce development and applications have been bringing the Internet to business and marketing and reforming our current business styles and processes. As Business to Business (B2B) has been a main stream of the e-commerce activities for a decade,... Read More about An investigation on using web services for micro-payment.

State-space reduction techniques in agent verification (2004)
Presentation / Conference Contribution
Bordini, R. H., Fisher, M., Visser, W., Wooldridge, M., Jennings, N. R., Sierra, C., Sonenberg, L., & Tambe, M. (2004, July). State-space reduction techniques in agent verification. Presented at Third International Joint Conference on Autonomous Agents and Multiagent Systems : AAMAS-2004., New York

We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The success of model checking as a verification technique for large systems... Read More about State-space reduction techniques in agent verification.

Discretization schemes and numerical approximations of PDE impainting models and a comparative evaluation on novel real world MRI reconstruction applications (2004)
Presentation / Conference Contribution
Karras, D., & Mertzios, G. (2004, December). Discretization schemes and numerical approximations of PDE impainting models and a comparative evaluation on novel real world MRI reconstruction applications. Presented at International Workshop on Imaging Systems and Techniques (IEEE IST 2004), Stresa, Italy

While various PDE models are in discussion since the last ten years and are widely applied nowadays in image processing and computer vision tasks, including restoration, filtering, segmentation and object tracking, the perspective adopted in the majo... Read More about Discretization schemes and numerical approximations of PDE impainting models and a comparative evaluation on novel real world MRI reconstruction applications.

Run-time assignment of tasks to multiple heterogeneous processors (2004)
Presentation / Conference Contribution
Smit, L., Smit, G., Hurink, J., Broersma, H., Paulusma, D., & Wolkotte, P. (2004, December). Run-time assignment of tasks to multiple heterogeneous processors. Presented at 5th PROGRESS Symposium on Embedded Systems., Nieuwegein, The Netherlands

This paper describes the implementation and evaluation of an algorithm that maps a number of communicating processes to a heterogeneous tiled System on Chip (SoC) architecture at run-time. The mapping algorithm minimizes the total amount of energy co... Read More about Run-time assignment of tasks to multiple heterogeneous processors.

First-Order Definable Retraction Problems for Posets and Reflexive Graphs (2004)
Presentation / Conference Contribution
Dalmau, V., Krokhin, A., & Larose, B. (2023, July). First-Order Definable Retraction Problems for Posets and Reflexive Graphs. Presented at 19th Annual IEEE Symposium on Logic in Computer Science (LICS'04), Turku, Finland

A retraction from a structure P to its substructure Q is a homomorphism from P onto Q that is the identity on Q. We present an algebraic condition which completely characterises all posets and all reflexive graphs Q with the following property: the c... Read More about First-Order Definable Retraction Problems for Posets and Reflexive Graphs.

Run-time mapping of applications to a heterogeneous reconfigurable tiled system on chip architecture (2004)
Presentation / Conference Contribution
Smit, L., Smit, G., Hurink, J., Broersma, H., Paulusma, D., & Wolkotte, P. (2004, December). Run-time mapping of applications to a heterogeneous reconfigurable tiled system on chip architecture. Presented at Proceedings. 2004 IEEE International Conference on Field- Programmable Technology (IEEE Cat. No.04EX921)

This work evaluates an algorithm that maps a number of communicating processes to a heterogeneous tiled system on chip (SoC) architecture at run-time. The mapping algorithm minimizes the total amount of energy consumption, while still providing an ad... Read More about Run-time mapping of applications to a heterogeneous reconfigurable tiled system on chip architecture.