Collection's Items (Sorted by Submit Date in Descending order): 401 to 420 of 459
| Issue Date | Title | Author(s) |
| 2013 | Data integration strategies for informing computational design in synthetic biology | Misirli, Goksel |
| 2013 | Formal modelling and analysis of dynamic reconfiguration of dependable systems | Bhattacharyya, Anirban |
| 1980 | An error recovery scheme for concurrent processes | Marshall, Lindsay Forsyth |
| 2011 | Using requirements and design information to predict volatility in software development | Ingram, Claire |
| 1990 | Preventing state divergence in replicated distributed systems | Tully, Alan |
| 2000 | Relating formal models of concurrency for the modelling of asynchronous digital hardware | Pietkiewicz-Koutny, Marta |
| 2001 | A framework for supporting automatic simulation generation from design | Arief, Leonardus Budiman |
| 2013 | Crossmodal displays : coordinated crossmodal cues for information provision in public spaces | Cao, Han |
| 2013 | Exploring human factors issues & possible countermeasures in password authentication | Zakaria, Nur Haryani Binti |
| 2012 | Maintaining consistency in client-server database systems with client-side caching | Bukhari, Fahren |
| 2000 | Run-time support for parallel object-oriented computing: the NIP lazy task creation technique and the NIP object-based software distributed shared memory | Parastatidis, Savas |
| 1989 | Constructing reliable distributed applications using actions and objects | Wheater, Stuart Mark |
| 2009 | Exploiting the architectural characteristics of software components to improve software reuse | Alkazemi, Basem Yousef |
| 2000 | Visual object-oriented development of parallel applications | Webber, James |
| 1997 | A graphical system for parallel software development | Allen, Robert Stephen |
| 2012 | Continuous probability distributions in model-based specification languages | Andrews, Zoe Helen |
| 2012 | Human activity recognition for pervasive interaction | Pham, Cuong Van |
| 2012 | Consumer side resource accounting in cloud computing | Mihoob, Ahmed M |
| 1969 | Effects of H.V.D.C. transmission line on the transient performance of an A.C. power system : a digital computer study | Ahmed, Syed Muhammad |
| 2012 | Engaging older adults and people with dementia in the design of digital technologies | Lindsay, Stephen Colin |
Collection's Items (Sorted by Submit Date in Descending order): 401 to 420 of 459
