Collection's Items (Sorted by Submit Date in Descending order): 1101 to 1150 of 1283
| Issue Date | Title | Author(s) |
| 1996 | Can computational logic provide a paradigm for both the specification and implementation of concurrent systems? | Gilbert, D |
| 1996 | Economic modelling using constraint logic programming | Gilbert, D; Donovan, N |
| 1994 | Transforming specifications of observable behaviour into programs | Gilbert, D; Hogger, C; Zlatuska, J |
| 2005 | Competition in internet retail markets: The impact of links on web site traffic | Ennew, C; Lockett, A; Blackman, ID; Holland, CP |
| 2009 | A testability transformation approach for state-based programs | Kalaji, AS; Hierons, RM; Swift, S |
| 2008 | Using status messages in the distributed test architecture | Hierons, RM |
| 2009 | Overcoming controllability problems with fewest channels between testers | Hierons, RM; Ural, H |
| 2001 | Strategies for building a customer base on the internet: Symbiotic marketing | Lockett, A; Blackman, ID |
| 2008 | Adapting structuration theory to understand the role of reflexivity: Problematization, clinical audit and information systems | Brooks, L; Atkinson, C; Wainwright, D |
| 2004 | A Bayesian network approach to explaining time series with changing structure | Tucker, A; Liu, X |
| 2005 | RGFGA: An efficient representation and crossover for grouping genetic algorithms | Tucker, A; Crampton, J; Swift, S |
| 2008 | Consensus and meta-analysis regulatory networks for combining multiple microarray gene expression datasets | Steele, E; Tucker, A |
| 2008 | 'BioNessie(G) - a grid enabled biochemical networks simulation environment | Liu, X; Jiang, J; Ajayi, O; Gu, X; Gilbert, D; Sinnott, R |
| 2008 | Petri nets for systems and synthetic biology | Heiner, M; Gilbert, D; Donaldson, R |
| 2008 | A model checking approach to the parameter estimation of biochemical pathways | Donaldson, R; Gilbert, D |
| 2008 | Towards a business model for cellular network and telecommunication operators: a theoretical framework | Al-Debei, MM; El-Haddadeh, R; Avison, D |
| 2005 | The current state of E-commerce in Jordan: Applicability and future prospects | Al-Debei, MM; Shannak, RO |
| 2008 | Defining the business model in the new world of digital business | Al-Debei, MM; El-Haddadeh, R; Avison, D |
| 2008 | A Monte Carlo model checker for probabilistic LTL with numerical constraints | Gilbert, D; Donaldson, R |
| 2008 | Generating feasible transition paths for testing from an extended finite state machine (EFSM) | Kalaji, AS; Hierons, RM; Swift, S |
| 2008 | On the convergence of the hp-BEM with quasi-uniform meshes for the electric field integral equation on polyhedral surfaces | Bespalov, A; Heuer, N |
| 2008 | Counting cocircuits and convex two-colourings is #P-complete | Noble, S D |
| 2008 | Laboratory measurement campaign of DVB-T signal with transmit delay diversity | Di Bari, R; Bard, M; Zhang, Y; Nasr, KM; Cosmas, J; Loo, KK; Nilavalan, R; Shirazi, H; Krishnapillai, K |
| 2008 | Automatic generation of test sequences form EFSM models using evolutionary algorithms | Kalaji, AS; Hierons, RM; Swift, S |
| 2008 | Evaluating existing set-top boxes versus transmit diversity schemes | Shirazi, H; Cosmas, J; Krishnapillai, K; Gledhill, J; Bard, M; Bradshaw, D |
| 2008 | Measurement results of transmit delay diversity for DVB-T networks | Di Bari, R |
| 2008 | Field trials and test results of portable DVB-T systems with transmit delay diversity | Di Bari, R; Bard, M; Cosmas, J; Nilavalan, R; Loo, KK; Shirazi, H; Krishnapillai, K |
| 2008 | Mobile integrated conditional access system | Shirazi, H; Cosmas, J; Cutts, D; Birch, N; Daly, P |
| 2008 | Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine | Hierons, RM; Ipate, F |
| 2008 | Testing from a stochastic timed system with a fault model | Hierons, RM; Merayo, MG; Nunez, M |
| 2008 | Grid service discovery with rough sets | Li, M; Yu, B; Rana, O; Wang, Z |
| 2004 | Knowledge representation within information systems in manufacturing environments | Sharif, Amir M |
| 2008 | The problem of labels in e-assessment of diagrams | Jayal, A; Shepperd, M J |
| 2007 | Brunel University Research Archive – a year in the life of an institutional repository | Murtagh, J |
| 2002 | Stochastic information technology modelling for business processes | Serrano, Alan Edwin |
| 2006 | Cultural dimensions and CRM systems implementation: a preliminary framework | Ali, M; Brooks, L; Alshawi, S; Papazafeiropoulou, A |
| 2008 | Three-dimensional edge waves in plates | Zernov, V; Kaplunov, JD |
| 2008 | Using formal methods to support testing | Hierons, RM; Bogdanov, K; Bowen, JP; Cleaveland, R; Derrick, J; Dick, JH; Gheorghe, M; Harman, M; Kapoor, K; Krause, P; Luettgen, G; Simons, AJH; Vilkomir, S; Woodward, M |
| 2008 | Checking sequences for distributed test architectures | Hierons, RM; Ural, H |
| 2008 | Verdict functions in testing with a fault domain or test hypotheses | Hierons, RM |
| 2008 | Software integration testing based on communication coverage criteria and partial model generation | Robinson-Mallett, C; Hierons, RM; Poore, J; Liggesmeyer, P |
| 2008 | Practitioner-based measurement: a collaborative software measurement approach | Parkinson, ST; Hierons, RM; Lycett, M; Norman, M |
| 1999 | Re-planning for a successful project schedule | Rainer, A; Shepperd, MJ |
| 2001 | What accuracy statistics really measure | Kitchenham, BA; MacDonell, SG; Pickard, L; Shepperd, MJ |
| 2002 | Making inferences with small numbers of training sets | Kirsopp, C; Shepperd, MJ |
| 2005 | Reliability and validity in comparative studies of software prediction models | Myrtveit, I; Stensrud, E; Shepperd, MJ |
| 2008 | Data sets and data quality in software engineering | Liebchen, G; Shepperd, M J |
| 2006 | An empirical study of evolution of inheritance in Java OSS | Nasseri, E; Counsell, S; Shepperd, M J |
| 2006 | Using tactical and operational factors to assess strategic alignment: an SME study | Gutierrez, A; Orozco, J; Serrano, A; Serrano, AE |
| 2003 | Simulation for business processes and information systems design | Paul, RJ; Serrano, A |
Collection's Items (Sorted by Submit Date in Descending order): 1101 to 1150 of 1283
