Collection's Items (Sorted by Submit Date in Descending order): 1231 to 1280 of 1283
| Issue Date | Title | Author(s) |
| 2004 | Algorithms for worst case identification in H-infinity and the nu-gap metric | Date, P; Vinnicombe, G |
| 2006 | Cultural effect on electronic consumer behaviour | El Said, Ghada Refaat |
| 2006 | Benchmarking and library quality maturity | Wilson, F; Town, SJ |
| 2005 | Understanding the business-IT relationship | Coughlan, JA; Lycett, M; Macredie, RD |
| 2005 | The relationship between web enjoyment and student perceptions and learning using a web-based tutorial | Mitchell, TJF; Chen, SY; Macredie, RD |
| 2005 | Hypermedia learning and prior knowledge: Domain expertise vs. system expertise | Mitchell, TJF; Chen, SY; Macredie, RD |
| 2005 | Modeling human behavior in user-adaptive systems: Recent advances using soft computing techniques | Frias-Martinez, E; Magoulas, G; Chen, SY; Macredie, RD |
| 2005 | The assessment of usability of electronic shopping: A heuristic evaluation | Chen, SY; Macredie, RD |
| 2006 | Automated user modeling for personalized digital libraries | Frias-Martinez, E; Magoulas, G; Chen, SY; Macredie, RD |
| 2006 | Navigation in hypermedia learning systems: Experts vs. novices | Chen, SY; Fan, JP; Macredie, RD |
| 2002 | Introduction to the new usability | Thomas, P; Macredie, RD |
| 2005 | Cultivating knowledge sharing through the relationship management maturity model | Martin, VA; Hatzakis, T; Lycett, M; Macredie, RD |
| 2003 | Communication issues in requirements elicitation: A content analysis of stakeholder experiences | Coughlan, JA; Lycett, M; Macredie, RD |
| 2002 | Footprints of information foragers: Behaviour semantics of visual exploration | Chen, C; Cribbin, T; Kuljis, J; Macredie, RD |
| 2006 | A cognitive approach to user perception of multimedia quality: An empirical investigation | Chen, SY; Ghinea, G; Macredie, RD |
| 2003 | Migrating agile methods to standardized development practice | Lycett, M; Macredie, RD; Patel, C; Paul, RJ |
| 2006 | Requirements dilemma | Harris, Howard J |
| 2002 | An investigation of visual cues used to create and support frames of reference and visual search tasks in desktop virtual environments | Morar, SS; Macredie, RD; Cribbin, T |
| 2002 | Effective communication in requirements elicitation: A comparison of methodologies | Macredie, RD; Coughlan, JA |
| 2005 | Cognitive Styles and Adaptive Web-based Learning | Macredie, RD; Mitchell, TJF; Chen, SY |
| 2002 | An interactive multimedia learning environment for VLSI built with COSMOS | Angelides, MC; Agius, HW |
| 2006 | An MPEG-7 scheme for semantic content modelling and filtering of digital video | Angelides, MC; Agius, HW |
| 2005 | A consumer decision process model for the Internet | Ambaye, Michele |
| 2003 | Equivalence of conservative, free, linear program schemas is decidable | Laurence, MR; Danicic, S; Harman, M; Hierons, RM; Howroyd, J |
| 2002 | Comparing test sets and criteria in the presence of test hypotheses and fault domains | Hierons, RM |
| 2006 | Avoiding coincidental correctness in boundary value analysis | Hierons, RM |
| 2004 | Testing conformance of a deterministic implementation against a non-deterministic stream X-machine | Harman, M; Hierons, RM |
| 2006 | Optimizing the length of checking sequences | Hierons, RM; Ural, H |
| 2004 | Testing from a nondeterministic finite state machine using adaptive state counting | Hierons, RM |
| 2002 | Reduced length checking sequences | Hierons, RM; Ural, H |
| 2001 | Checking states and transitions of a set of communicating finite state machines | Hierons, RM |
| 2003 | UIO sequence based checking sequences for distributed test architectures | Hierons, RM; Ural, H |
| 2001 | Testing a system specified using Statecharts and Z | Hierons, RM; Sadeghipour, S; Singh, H |
| 2001 | Testing a distributed system: Generating minimal synchronised test sequences that detect output-shifting faults | Hierons, RM |
| 2006 | Applying adaptive test cases to nondeterministic implementations | Hierons, RM |
| 2004 | Using a minimal number of resets when testing from a finite state machine | Hierons, RM |
| 1997 | Testing from semi-independent communicating finite state machines with a slow environment | Hierons, RM |
| 2000 | Testing conformance to a quasi-non-deterministic stream X-machine | Hierons, RM; Harman, M |
| 2004 | On the testability of SDL specifications | Kim, KH; Ural, H; Hierons, RM |
| 1998 | Adaptive testing of a deterministic implementation against a nondeterministic finite state machine | Hierons, RM |
| 1997 | Testing from a finite state machine: Extending invertibility to sequences | Hierons, RM |
| 2005 | Branch-coverage testability transformation for unstructured programs | Hierons, RM; Harman, M; Fox, CJ |
| 2002 | Generating candidates when testing a deterministic implementation against a non-deterministic finite-state machine | Hierons, RM |
| 1999 | Minimizing the cost of fault location when testing from a finite state machine | Hierons, RM |
| 2006 | Separating sequence overlap for automated test sequence | Hierons, RM |
| 2004 | Testability transformation | Harman, M; Hu, L; Hierons, RM; Wegener, J; Sthamer, H; Baresel, A; Roper, M |
| 2005 | Improved test quality using robust unique input/output circuit sequences (UIOCs) | Guo, Q; Hierons, RM; Harman, M; Derderian, K |
| 2005 | Constructing multiple unique input/output sequences using metaheuristic optimisation techniques | Guo, Q; Hierons, RM; Harman, M; Derderian, K |
| 2006 | Automated unique input output sequence generation for conformance testing of FSMs | Derderian, K; Hierons, RM; Harman, M; Qiang, G |
| 2005 | ConSUS: A light-weight program conditioner | Danicic, S; Daoudi, M; Fox, CJ; Harman, M; Hierons, RM; Howroyd, J; Ourabya, L; Ward, M |
Collection's Items (Sorted by Submit Date in Descending order): 1231 to 1280 of 1283
