Publications

Export 9 results:

Author Keyword [ Title

Filters: First Letter Of Title is U [Clear All Filters]

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

U

H. Al-Helal, “UAV Search: Maximising Target Acquisition”, 2009.

H. Al-Helal and Sprinkle, J., “UAV Search : Maximizing Target Acquisition”, in 17th IEEE Conference on the Engineering of Computer Based Systems, 2010, pp. 9–19.

G. Karsai, Agrawal, A., Shi, F., and Sprinkle, J., “On the Use of Graph Transformation in the Formal Specification of Model Interpreters”, Journal of Universal Computer Science, vol. 9, pp. 1296–1321, 2003.

J. Sprinkle, “User’s Guide to the PublicationsDatabase”. 2005.

S. Harris, Welch, L., and Bunting, M., “User-Friendly Method to Optimize the Network of a Cyber-Physical System”, in 85th Annual Meeting of the APS Southeastern Section, Knoxville, Tennessee, 2018.

User-Friendly Method to Optimize the Network of a Cyber-Physical System.pdf (6.65 MB)

T. Patki, Al-Helal, H., Gulotta, J., Hansen, J., and Sprinkle, J., “Using Integrative Modeling for Advanced Heterogeneous System Simulation”, in The 8th OOPSLA Workshop on Domain-Specific Modeling, 2008, pp. 80-85.

J. Gulotta, Chu, D., Yu, X., Al-Helal, H., Patki, T., Hansen, J., Hudson, M., and Sprinkle, J., “Using Integrative Models in an Advanced Heterogeneous System Simulation”, in IEEE International Conference on the Engineering of Computer-Based Systems, Los Alamitos, CA, USA, 2009, pp. 3-10.

T. R. Hansen, Eklund, J. M., Sprinkle, J., Bajcsy, R., and Sastry, S., “Using smart sensors and a camera phone to detect and verify the fall of elderly persons”, in 3rd European Medicine, Biology and Engineering Conference, 2005.

J. Sprinkle, Shakernia, O., Miller, R., and S. Sastry, S., “Using the Hybrid Systems Interchange Format to Input Design Models to Verification & Validation Tools”, in IEEE Aerospace Conference, Verification and Validation, 2005, pp. 1–6.