Collection's Items (Sorted by Submit Date in Descending order): 401 to 420 of 472
| Issue Date | Title | Author(s) |
| 1976 | Some investigations into the numerical solution of initial value problems in ordinary differential equations | Hayden, G. N. |
| 1995 | Enterprise modelling and its application to organisational requirements, capture and definition | Blyth, Andrew John Charles |
| 1979 | An algebraic analysis of storage fragmentation | Betteridge, Terry |
| 2006 | Evaluation and development models for business processes | Al-Humaidan, Fahad Mohammed |
| 2013 | Interaction design for live performance | Hook, Jonathan David |
| 2013 | Generating networks for performance evaluation of P2P trust path search algorithms | Zhang, Huqiu |
| 2013 | Generic business process modelling framework for quantitative evaluation | Al-Tuwarijari, Jamal Mustafa |
| 2013 | A method for rigorous development of fault-tolerant systems | Lopatkin, Ilya |
| 2013 | Performance modelling of applications in a smart environment | Chen, Xiao |
| 2013 | Middleware to support accountability of business to business interactions | Mortimer, Derek John |
| 2013 | Efficient and scalable replication of services over wide-area networks | Abouzamazem, Abdallah |
| 2013 | Modelling and performance analysis of mobile ad hoc networks | Younes, Osama |
| 2013 | Designing and evaluating a user interface for continous embedded lifelogging based on physical context | Mohamed, Esmail Esaed Tahir |
| 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 |
Collection's Items (Sorted by Submit Date in Descending order): 401 to 420 of 472
