School of Computing
Collection home page
Collection's Items (Sorted by Submit Date in Descending order): 281 to 300 of 456
| Issue Date | Title | Author(s) |
| 2007 | Scalable collision detection for distributed virtual environments | Storey, Kier |
| 2001 | Formal modelling and analysis of broadcasting embedded control systems | Kendall, David |
| 1998 | Shape-preserving algorithms for curve and surface design | Iqbal, Rafhat |
| 2005 | Combating state explosion in the detection of dynamic properties of distributed computations | Achmatowicz, Richard |
| 2006 | Guess my vote: a study of opacity and information flow in voting systems | Peacock, Thea |
| 2004 | Security management for services that are integrated across enterprise boundaries | Aljareh, Salem Sultan |
| 1997 | Fault-tolerant parallel applications using a network of workstations | Smith, James Antony |
| 1974 | Reference retrieval based on user induced dynamic clustering | Oddy, Robert N. |
| 1974 | Studies of some feedback control mechanisms in operating systems | Alderson, Albert |
| 1999 | To formalise and implement a categorical object-related database system | Nelson, David Alan |
| 1997 | Development of a methodology and an expert system for disaster recovery | Al-Harbi, Fahhad |
| 1996 | STRICT: a language and tool set for the design of very large scale integrated circuits | Koelmans, Albertus Maria |
| 1996 | An extended interval temporal logic and a framing technique for temporal logic programming | Duan, Zhenhua |
| 1998 | Towards quality programming in the automated testing of distributed applications | Chu, Huey-Der |
| 1984 | An investigation of mesh selection algorithms in the numerical solution of boundary value problems by piecewise polynomial collocation method | Seleman, Adeeb H. |
| 1996 | Fault injection testing of software implemented fault tolerance mechanisms of distributed systems | Tao, Sha |
| 1970 | The design and semantic analysis of a programming language and its compiler | Henderson, P. |
| 1989 | Design and development of algorithms for fault tolerant distributed systems | Ezhilchelvan, Paul Davadoss |
| 1994 | A methodology for the requirements analysis of critical real-time systems | De Lemos, Rogerio |
| 1988 | A view mechanism for an integrated project support environment | Brown, Alan William |
Collection's Items (Sorted by Submit Date in Descending order): 281 to 300 of 456
