John C. Sloan

According to our database1, John C. Sloan authored at least 14 papers between 2008 and 2013.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
High Consequence Systems and Semantic Computing.
Int. J. Semantic Comput., 2013

Feature Selection for Optimization of Wavelet Packet Decomposition in Reliability Analysis of Systems.
Int. J. Artif. Intell. Tools, 2013

2011
Fourier transforms for vibration analysis: A review and case study.
Proceedings of the IEEE International Conference on Information Reuse and Integration, 2011

Feature Selection for Vibration Sensor Data Transformed by a Streaming Wavelet Packet Decomposition.
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

Feature Selection on Dynamometer Data for Reliability Analysis.
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

Using Feature Selection to Determine Optimal Depth for Wavelet Packet Decomposition of Vibration Signals for Ocean System Reliability.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

Ensemble Coordination for Discrete Event Control.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

A Dynamometer for an Ocean Turbine Prototype: Reliability through Automated Monitoring.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

Feature Level Sensor Fusion for Improved Fault Detection in MCM Systems for Ocean Turbines.
Proceedings of the Twenty-Fourth International Florida Artificial Intelligence Research Society Conference, 2011

2010
Finite safety models for high-assurance systems.
PhD thesis, 2010

2009
From Web Service Artifact to a Readable and Verifiable Model.
IEEE Trans. Serv. Comput., 2009

An Extendible Translation of BPEL to a Machine-verifiable Model.
Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009

2008
Assuring Timeliness in an e-Science Service-Oriented Architecture.
Computer, 2008

Toward Model Checking Web Services Over the Web.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008


  Loading...