David Wright

发表

Synthetic vision and memory model for virtual human - biomed 2010.

Yue Zhao, Jinsheng Kang, David Wright, 2010, Biomedical sciences instrumentation.

The Use of Multilegged Arguments to Increase Confidence in Safety Claims for Software-Based Systems: A Study Based on a BBN Analysis of an Idealized Example

David Wright, Bev Littlewood, B. Littlewood, 2007, IEEE Transactions on Software Engineering.

Execution Contexts for Determining Trust in a Higher-Order pi-Calculus

David Wright, Mark Hepburn, M. Hepburn, 2003 .

A Decisive Predictive Approach to the Construction of Sequential Acceptance Sampling Plans for Lifetimes

David Wright, Ian R. Dunsmore, I. Dunsmore, 1985 .

Elicitation and Validation of Graphical Dependability Models

David Wright, 2003, SAFECOMP.

Business and Technology Issues in Wireless Networking

David Wright, D. Wright, 2007 .

Linear, Strictness and Usage Logics

David Wright, 1996 .

Initializing a multiprocessor system

David Wright, Nigel Bruce, Satoshi Kobasyashi, 1994 .

Creating Value by Implementing an Integrated Production Surveillance and Optimization System – An Operator's Perspective

David Wright, Sathish Sankaran, Huan Gamblin, 2017 .

Reliability prediction of a software product using testing data from other products or execution environment

David Wright, Bev Littlewood, B. Littlewood, 1996 .

Scheduling workloads in a network of datacentres to reduce electricity cost and carbon footprint

David Wright, Trung Le, 2015, Sustain. Comput. Informatics Syst..

Wireless Technologies for Mobile Computing and Commerce

David Wright, 2009 .

Confidence: Its Role in Dependability Cases for Risk Assessment

David Wright, Bev Littlewood, Robin E. Bloomfield, 2007, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07).

A Bayesian Model that Combines Disparate Evidence for the Quantitative Assessment of System Dependability

David Wright, Bev Littlewood, B. Littlewood, 1998, SAFECOMP.

Microprocessor-Based Data-Acquisition System for a Borehole Radar

David Wright, Jerry Bradley, 1987, IEEE Transactions on Geoscience and Remote Sensing.

Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems

David Wright, Bev Littlewood, Peter G. Bishop, 2011, IEEE Transactions on Software Engineering.

Towards Operational Measures of Computer Security: Concepts

David Wright, Sarah Brocklehurst, Bev Littlewood, 1995 .

Neural network model optimisation for 3D freeform surfaces from sketched curves

David Wright, Usman Khan, Abdelaziz Terchi, 2006 .

Reliability Modeling of a 1-Out-Of-2 System: Research with Diverse Off-The-Shelf SQL Database Servers

David Wright, Bev Littlewood, Peter G. Bishop, 2007, The 18th IEEE International Symposium on Software Reliability (ISSRE '07).

Kalman Forecasting In A Decision Support System

David Wright, 1986 .

Privacy Threats in Emerging Ubicomp Applications: Analysis and Safeguarding

Pasi Ahonen, David Wright, Michael Friedewald, 2008 .

Assesing dependability of safety critical systems using diverse evidence

David Wright, Bev Littlewood, Lorenzo Strigini, 1998, IEE Proc. Softw..

International maritime satellite communication

David Wright, D. Wright, 1983 .

Conservative claims about the probability of perfection of software-based systems

David Wright, Bev Littlewood, Xingyu Zhao, 2015, 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE).

Octave identification and modular arithmetic

David Wright, 2009 .

RFID and Wireless Personal Area Networks for Supply Chain Management

David Wright, 2007 .

Home Base with multiple antennas for digital cordless phones

David Wright, James E. Petranovich, Rex L Baker, 1994 .

Logic and Algebra

David Wright, Allan Whitcombe, Alan Boxer, 1993 .

Stopping rules for the operational testing of safety-critical software

David Wright, Bev Littlewood, 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers.

A Predictive Analytics-Based Decision Support System for Drug Courts

David Wright, Dursun Delen, Hamed M. Zolbanin, 2020, Inf. Syst. Frontiers.

Exploiting the speed-accuracy trade-off.

David Wright, Ian Dennis, 1999 .

Human motion tracking and gesture prediction based on the RBF neural network

David Wright, Guangmin Sun, Deming Chen, 2007 .

Base station for a digital cordless telephone with multiple antenna arrangement

David Wright, James E. Petranovich, L Baker, 1994 .

Stochastic Modelling of the Effects of Interdependencies between Critical Infrastructure

David Wright, Lubos Buzna, Robin E. Bloomfield, 2009, CRITIS.

Conservative claims for the probability of perfection of a software-based system using operational experience of previous similar systems

David Wright, Bev Littlewood, Lorenzo Strigini, 2018, Reliab. Eng. Syst. Saf..

Probabilistic scheduling guarantees for fault-tolerant real-time systems

David Wright, Lorenzo Strigini, Sasikumar Punnekkat, 1999, Dependable Computing for Critical Applications 7.

Apparatus and Method of Providing a Weighting Factor

David Wright, Bhimantoro Y. Prasetyo, Diego Giancola, 2001 .

Evaluation of COTS Solutions to Support Flight Operations Quality Assurance in Business/Corporate Aviation

David Wright, Mike Bromfield, Thomas Walton, 2018 .

Flying 2.0 Enabling automated air travel by identifying and addressing the challenges of IoT & RFID technology

David Wright, Alessandro Bassi, Sotiris Ioannidis, 2010 .

Bounds on survival probability given mean probability of failure per demand; and the paradoxical advantages of uncertainty

David Wright, Lorenzo Strigini, L. Strigini, 2014, Reliab. Eng. Syst. Saf..

Graphical Calculators: Tools for mathematical thinking

David Wright, 2005 .

Modeling the probability of failure on demand (pfd) of a 1-out-of-2 system in which one channel is "quasi-perfect"

David Wright, Bev Littlewood, Lorenzo Strigini, 2017, Reliab. Eng. Syst. Saf..

Participant's Proceedings of the Workshop types for Program Analysis

David Wright, 1995 .

Towards Operational Measures of Computer Security

David Wright, Sarah Brocklehurst, Bev Littlewood, 1993, J. Comput. Secur..

INCOSE's Operations and Finances

David Wright, 2008 .

Optimizing Sampling Plans for Identifying Sources of Salmonella: An Example from a Multi-State Turkey Processing Plant Study

David Wright, 2011 .

Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software

David Wright, Bev Littlewood, B. Littlewood, 1997, IEEE Trans. Software Eng..

The Quest for Space--CD-ROM and Capacity Constraints.

David Wright, 1997 .