An approach to schedulability analysis of UML-based real-time systems design. - Dongxi Jin; David C. Levy (Workshop on Software and Performance, 2002)

H-infinity Robust Control Scheduling Design Methodology in Real-Time Systems. - Bing Du; David C. Levy (Embedded Systems and Applications, 2003)

Evaluating Overhead and Predictability of a Real-Time CORBA System. - Jianfan Zou; David Levy 001; Anna Liu (HICSS, 2004)

Improving the Measurement of the Load Signal Through a More Appropriate Sampling Rate. - Sena Seneviratne; David C. Levy (PDPTA, 2004)

Performance-Oriented Modelling for UML-RT Based System Design. - Dongxi Jin; David C. Levy (Software Engineering Research and Practice, 2004)

Introduction to a New Tariff Mechanism for Charging for Computer Power in the Grid. - Sena Seneviratne; David Levy 001 (ICA3PP, 2005)

Host Load Prediction for Grid Computing Using Free Load Profiles. - Sena Seneviratne; David Levy 001 (ICA3PP, 2005)

A Robust Modeling and Overload Control for Web Servers. - Bing Du; David C. Levy (iiWAS, 2005)

Shop Floor Information Management and SOA. - Konrad Pfadenhauer; Burkhard Kittl; Schahram Dustdar; David Levy 001 (Business Process Management Workshops, 2006)

A Performance Evaluation of Web Services Security. - Kezhe Tang; Shiping Chen 001; David Levy 001; John Zic; Bo Yan (EDOC, 2006)

Performance and Service Delay Guarantees for Web Servers: A Robust Control Approach. - Bing Du; David C. Levy (iiWAS, 2006)

Auto-tune design and evaluation on staged event-driven architecture. - Zhanwen Li; David Levy 001; Shiping Chen 001; John Zic (MODDM, 2006)

Periodicity Identification of Microarray Time Series Data based on Spectral Analysis. - Miew Keen Choong; Kong Chen Lye; David Levy 001; Hong Yan 001 (SMC, 2006)

Explicitly Controlling the Fair Service for Busy Web Servers. - Zhanwen Li; David Levy 001; Shiping Chen 001; John Zic (ASWEC, 2007)

Configuring the Worst-Case Communication Delay in Real-Time Networked Control Systems. - Yu-Chu Tian; David Levy 001 (ESA, 2007)

Suggestions on Pattern Transformation in UML-RT. - Yifeng Sun; David Levy 001 (ICSEA, 2007)

Performance Evaluation and Modeling of Web Services Security. - Shiping Chen 001; John Zic; Kezhe Tang; David Levy 001 (ICWS, 2007)

A Software Process for Modeling Complex Systems with UML-RT. - Yifeng Sun; David Levy 001 (TASE, 2007)

A Performance Modelling of Web Services Security. - Kezhe Tang; David Levy 001; Shiping Chen 001; John Zic; Bo Yan (WEBIST (1), 2007)

Automatic Grid Segmentation of Populated Chessboard Taken at a Lower Angle View. - King Yiu Tam; Jose A. Lay; David Levy 001 (DICTA, 2008)

Clustering of DNA microarray temporal data based on the autoregressive model. - Miew Keen Choong; David Levy 001; Hong Yan 001 (SMC, 2008)

Dealing with network complexity in real-time networked control. - Yu-Chu Tian; David Levy 001 (Int. J. Comput. Math., 2008)

Compensation for control packet dropout in networked control systems. - Yu-Chu Tian; David Levy 001 (Inf. Sci., 2008)

Study of microarray time series data based on Forward-Backward Linear Prediction and Singular Value Decomposition. - Miew Keen Choong; David Levy 001; Hong Yan 001 (Int. J. Data Min. Bioinform., 2009)

Accountability as a Service for the Cloud. - Jinhui Yao; Shiping Chen 001; Chen Wang 008; David Levy 001; John Zic (IEEE SCC, 2010)

mBOSSS+: A Mobile Web Services Framework. - Jingyu Zhang; David Levy 001; Shiping Chen 001; John Zic (APSCC, 2010)

TrustStore: Making Amazon S3 Trustworthy with Services Composition. - Jinhui Yao; Shiping Chen 001; Surya Nepal; David Levy 001; John Zic (CCGRID, 2010)

Publish/Subscribe on Top of DHT Using RETE Algorithm. - Yan Shvartzshnaider; Maximilian Ott; David Levy 001 (FIS, 2010)

A Mobile Learning System for Syndromic Surveillance and Diagnosis. - Jingyu Zhang; David Levy 001; Shiping Chen 001 (ICALT, 2010)

Engineering an autonomous fuzzy controller for QoS control in distributed services. - Dahai Li; David Levy 001 (IWQoS, 2010)

Accountability as a Service for the Cloud: From Concept to Implementation with BPEL. - Jinhui Yao; Shiping Chen 001; Chen Wang 008; David Levy 001; John Zic (SERVICES, 2010)

Cost profile prediction for grid computing. - Sena Seneviratne; David C. Levy (Concurr. Comput. Pract. Exp., 2010)

Feedback loop mechanisms based particle swarm optimization with neighborhood topology. - Jingyu Zhang; Shiping Chen 001; David Levy 001; Yongzhong Lu (IEEE Congress on Evolutionary Computation, 2011)

Video segmentation using BIC and stacked scanning. - King Yiu Tam; Jose A. Lay; David Levy 001 (ICME, 2011)

Modelling Collaborative Services for Business and QoS Compliance. - Jinhui Yao; Shiping Chen 001; Chen Wang 008; David Levy 001; John Zic (ICWS, 2011)

Evaluation of process level redundant checkpointing/restart for HPC systems. - Ifeanyi P. Egwutuoha; David Levy 001; Bran Selic (IPCCC, 2011)

Speaker Change Detection Using Variable Segments for Video Indexing. - King Yiu Tam; Jose A. Lay; David Levy 001 (MMM (1), 2011)

SOSOF: A fuzzy learning approach for Proportional Slowdown Differentiation control. - Dahai Li; David Levy 001 (SOCA, 2011)

Towards a Kademlia DHT-based n-tuple store. - Yan Shvartzshnaider; Maximilian Ott; David Levy 001 (TADDS, 2011)

An evolutionary performance-enhanced PSO approach by using a BP neural-learning-based PID controller. - Yongzhong Lu; David Levy 001; Jingyu Zhang; Dahai Li (Connect. Sci., 2011)

Task profiling model for load profile prediction. - Sena Seneviratne; David C. Levy (Future Gener. Comput. Syst., 2011)

Strong Accountability for Service Compliance in the Cloud. - Jinhui Yao; Shiping Chen 001; Chen Wang 008; David Levy 001; John Zic (Int. J. Next Gener. Comput., 2011)

Facilitating Biodefense Research with Mobile-Cloud Computing. - Jingyu Zhang; Jinhui Yao; Shiping Chen 001; David Levy 001 (Int. J. Syst. Serv. Oriented Eng., 2011)

A Mobile Web Service Middleware and Its Performance Study. - Jingyu Zhang; Shiping Chen 001; Yongzhong Lu; David Levy 001 (Trans. Large Scale Data Knowl. Centered Syst., 2011)

A Fault Tolerance Framework for High Performance Computing in Cloud. - Ifeanyi P. Egwutuoha; Shiping Chen 001; David Levy 001; Bran Selic (CCGRID, 2012)

A Proactive Fault Tolerance Approach to High Performance Computing (HPC) in the Cloud. - Ifeanyi P. Egwutuoha; Shiping Chen 001; David Levy 001; Bran Selic; Rafael A. Calvo (CGC, 2012)

A Financial Compensation Based Transaction Management Model for Service-Oriented Business Collaborations. - Zheng Yang; Jinhui Yao; Shiping Chen 001; David Levy 001; Rafael A. Calvo (ICWS, 2012)

Accountability services for verifying compliance in the cloud. - Jinhui Yao; Shiping Chen 001; Chen Wang 008; David Levy 001; John Zic (Int. J. Cloud Comput., 2012)

Accountability for Service Compliance: A Survey. - Jinhui Yao; Shiping Chen 001; David Levy 001 (Int. J. Syst. Serv. Oriented Eng., 2012)

Local Adjustment and Global Adaptation of Control Periods for QoC Management of Control Systems. - Yu-Chu Tian; Xiefu Jiang; David C. Levy; Ashok K. Agrawala (IEEE Trans. Control. Syst. Technol., 2012)

Into the Moana1 - Hypergraph-based network layer indirection. - Yan Shvartzshnaider; Maximilian Ott; Olivier Mehani; Guillaume Jourjon; Thierry Rakotoarivelo; David Levy 001 (INFOCOM, 2013)

A Taxonomy of Performance Prediction Systems in the Parallel and Distributed Computing Grids. - Sena Seneviratne; David C. Levy; Rajkumar Buyya (CoRR, 2013)

A survey of fault tolerance mechanisms and checkpoint/restart implementations for high performance computing systems. - Ifeanyi P. Egwutuoha; David Levy 001; Bran Selic; Shiping Chen 001 (J. Supercomput., 2013)

Direct back propagation neural dynamic programming-based particle swarm optimisation. - Yongzhong Lu; Danping Yan; Jingyu Zhang; David Levy 001 (Connect. Sci., 2014)

Cost-oriented proactive fault tolerance approach to high performance computing (HPC) in the cloud. - Ifeanyi P. Egwutuoha; Shiping Chen 001; David Levy 001; Bran Selic; Rafael A. Calvo (Int. J. Parallel Emergent Distributed Syst., 2014)

Modelling Business Services with Situation Theory. - Eugene Doma; David Levy 001 (ASWEC (2), 2015)

Exploring Situation Theory Using InfonLab. - Eugene Doma; Bran Selic; David Levy 001 (ISORC, 2015)

Friction coefficient estimation in servo systems using neural dynamic programming inspired particle swarm search. - Yongzhong Lu; Danping Yan; David Levy 001 (Appl. Intell., 2015)

A variant with a time varying PID controller of particle swarm optimizers. - Yongzhong Lu; Danping Yan; Jingyu Zhang; David Levy 001 (Inf. Sci., 2015)

Parameter estimation of vertical takeoff and landing aircrafts by using a PID controlling particle swarm optimization algorithm. - Yongzhong Lu; Danping Yan; David Levy 001 (Appl. Intell., 2016)

Chaotic particle swarm optimization for optimal design of PID controllers in industrial systems. - Yongzhong Lu; Danping Yan; David Levy 001 (J. Intell. Fuzzy Syst., 2016)

Maximum likelihood parameter estimation of dynamic systems by heuristic swarm search. - Yongzhong Lu; Danping Yan; Min Zhou; David Levy 001 (Intell. Data Anal., 2017)

Introduction of the new Operating System Kernel Internals for the New Metrics for the Performance Prediction on the Clouds. - Sena Seneviratne; Liyanage C. De Silva; Jie Hu 020; Wenxing Hong; Judith Beveridge; David Levy 001 (ICCSE, 2020)

Design Of A Performance Prediction System For A Distributed Computer Environment And Its Adaptation On The Cloud Computing. - Sena Seneviratne; Liyanage C. De Silva; Jie Hu 020; Wenxing Hong; Judith Beveridge; David Levy 001 (ICCSE, 2021)

Particle Swarm Optimization of Real-Time PID Controllers. - David C. Levy; Yongzhong Lu; Danping Yan; Min Zhou; Shiping Chen 001 (Handbook of Real-Time Computing, 2022)