Jeffrey Smith Papers/Presentations

 

UML Related Papers/Presentations

 

S. Lu, A. Tazin, Y. Chen, M. Kokar, J. Smith Ontology-Based Detection of Inconsistencies in UML/OCL Models , MODELSWARD 2022 Conference, 6-8 Feruary, 2022.

A. Martin, J. Smith, M. Koethe, A Platform Independent Model and Threat Analysis for Mobile Ad Hoc Networks , SDR Forum, Nov 2007.

J. Zapata, F. Bordeleau, J. Smith, UML Model Mapping in the Context of Software Radio, UML 2003, Oct 2003, San Francisco, CA.

J. Smith and M. Koethe, UML 2.0 Redux for HPEC, HPEC 2003, Sept. 2003.

M. Barbeau, F. Bordeleau, J. Smith, An Introduction to the UML Model of the Software Radio, Proceedings on Conference in Telecommunication (ICT'2002), Beijing, China, June 2002

K. Baclawski, M. Kokar, P. Kogut, L. Hart, J. Smith, W. Holmes, J. Letkowski, M. Aronson, P. Emery, Extending the UML for Ontology Development, SOSYM 2002, Sofware System Model (2002) 1: 1-15, Springer-Verlag 2002.

K. Baclawski, M. Kokar, P. Kogut, L. Hart,.J. Smith, W. Holmes, J. Letkowski, M. Aronson, Extending UML to Support Ontology Engineering for the Semantic Web, UML 2001, Toronto, CA, Oct 2001. Powerpoint form is here.

Kogut, Cranefield, Hart, Dutra, Kokar and Smith, UML for Ontology Development, Knowledge Engineering Review Journal Special Issue on Ontologies in Agent Systems, Volume 17, Issue 1March 2002 , pp. 61-64.

K. Baclawski, M. Kokar, J. Smith, Metamodeling Facilities, Work in progress for UML 2.0 Math Framework and MOF 2.0 Transformation Proposal for OMG (re-check for updates)

J. Smith, M. Kokar and K. Baclawski, Formal Verification of UML Diagrams: A First Step Towards Code Generation, UML 2001, Practical UML-Based Rigorous Development Methods Workshop, Toronto, CA, Oct 2001. Also published with Andy Evans, Robert France, Ana Moreira and Bernhard Rumpe (Eds.), in Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Lecture Notes in Informatics, GI-Edition, Proceedings, Springer, pages 224-240, 2001.

K. Baclawski, M. Kokar, J. Smith, J. Letkowski, Consistency Checking of Ontologies Expressed in UML, International Conference on Formal Ontologies in Information Systems, Oct 2001.

K. Baclawski, M. Kokar, J. Smith, J. Letkowski, Consistency Checking of RM-ODP Specifications,Workshop on Open Distributed Processing: Enterprise, Computation, Knowledge, Engineering and Realization (WOODPECKER'2001), Setubal, Portugal, 2001.

J.Smith, Data Flow in UML, Refactoring the UML Workshop at OOPSLA 2000, Minneapolis, MN, Oct. 2000.

J. Smith, M. Kokar, K. Baclawski and S. DeLoach, Category Theoretic Approaches of Representing Precise UML Semantics, Precise UML Workshop at ECOOP 2000, Sophia Antipolis, France, June 2000.

S. DeLoach, J. Smith and T. Hartrum, Translating Graphically-Based Object-Oriented Specifications to Formal Specifications, submitted for publication in IEEE Transactions on Software Engineering.

J.Smith, UML Formalization and Transformation, Ph.D. Thesis, Northeastern University, College of Engineering, Dec.1999. The powerpoint defense of this thesis is also available.

J. Smith, M. Kokar and K. Baclawski, Verification of UML Diagrams, Eighth OOPSLA Workshop on Behavioral Semantics, Denver, CO, 206-220, 1999, poster presented at UML '99.

K. Baclawski, S. DeLoach, M. Kokar and J. Smith, Object-Oriented Transformation, in H. Kilov, B. Rumpe and I. Simmonds (Eds.), Behavioral Specifications of Business and Systems, pp. 1-14, Kluwer Academic Publishers, ISBN 0-7923-8629-9, Klewer Publishing, Oct.1999.

J. Smith, UML Formalization and Transformation, 13th IEEE ASE International Conference, Doctoral Symposium, Aug. 1998.

K. Baclawski, S. DeLoach, M. Kokar and J. Smith, Object-Oriented Parsing and Transformation, OOPSLA '98 Conference on Automated Software Engineering, Aug. 1998.

K. Baclawski, S. DeLoach, M. Kokar and J. Smith, UML Formalization: A Position Paper, Seventh OOPSLA Workshop on Behavioral Semantics of Object Oriented Business and Systems Specifications, Aug. 1998.

 

Some Papers on Other Topics

 

D. Wittenburg, E. Kadric, A. DeHon, J. Edwards, J. Smith, S. Chiricescu, "PERFECT Case Studies Demonstrating Order of Magnitude Reduction in Power Consumption", 2016 IEEE HPEC, Sept 2016.

J. Smith, B. Krikeles, D. Wittenburg, M. Taveniku, "Applied Vulnerability Detection System", 2015 IEEE International Symposium for Homeland Security, April 2015.

A. Nikitin, R. Davidchack, J. Smith, "Out-of-band and Adjacent-channel Interference Reduction by Analog Nonlinear Filters", EURASIP Journal on Advances in Signal Processing, Feb. 2015.

A. Nikitin, R. Davidchack, J. Smith, "Out-of-band and Adjacent-channel Interference Reduction by Analog Nonlinear Filters", Proc. 3rd IMA Conference on Mathematics in Defense, Malvern, UK, October 2013, paper and presentation.

J. Smith and M. Figueroa, "Reduced Realistic Attack Plan Surface for Identification of Prioritized Attack Goals", 2013 IEEE International Conference on Technologies for Homeland Security, Nov 2013, paper and poster.

M. Scoville, S. Berger, R. Reinhart, J. Smith, "The Software Defined Radio and Cognitive Radio Inter-consortia Affiliation", MILCOM 2006.

J. Smith, D. Murotake, T. Martin, "Software Communication Architecture: Evolution and Status Update ", Military Embedded Systems Magazine, Oct 2005.

J. Reed, J. Smith, "An Overview of the Latest Research in Software Radio", IDGA Conference on Software Defined Radios, Feb 2005.

T. Demirbilek, J. Smith, J. Belzile, "Overview of Recent Advances in SDR Standardization", IEEE 2004 Sarnoff Symposium, Princeton, NJ, April 26, 2004.

J. Smith, T. Demirbilek, M.Bicer, "Homogeneous Middleware for Advanced Interoperable Communications", GOMAC 2004, March 2004.

M. Bicer, F. Pilhofer, G. Bardouleau, J. Smith, "Next Generation Architecture for Heterogeneous Embedded Systems", ERSA 2003, June 2003, Las Vegas, NV.

J. Smith, J. Kulp, M. Bicer, T. Demirbilek , "SDR "Do You Care to Buy the Softest?", Mobile Communications and Military Transformation, March 2003, Washington, DC.

M. Bicer and J. Smith, "Software Communication Architecture Compliant Software Defined Radios", HPEC 2002, Sept. 2002.

J. Smith and M. Micer, "Software Communication Architecture and HPEC", Proceedings of Fifth Annual Workshop High Performance Embedded Computing Workshop, MIT Lincoln Lab, Lexington, MA, Nov 2001, pp 129 and Viewgraphs.

D. Kaeli, M. Bicer, E. Yardimci and J. Smith, "Profile-Guided Optimization Targeting High Performance Embedded Applications", Proceedings of Fifth Annual Workshop High Performance Embedded Computing Workshop, MIT Lincoln Lab, Lexington, MA, Nov 2001, Poster.

J. Smith and D. Kaeli, "Model-Based Parallel Programming with Profile-Guided Application Optimization", Proceedings of Fourth Annual Workshop High Performance Embedded Computing Workshop, MIT Lincoln Lab, Lexington, MA, Sept 2000, pp 85-86 plus Viewgraphs and Poster.

M. Kokar, K. Passino, K. Backlawski, J. Smith, Mapping an Application to a Control Architecture: Specification of the Problem, International Workshop on Self-Adaptive Software, Oxford University, April 2000 and Lecture Notes in Computer Science, Vol. 1936, pp. 75-89, 2001.

J. Smith, Secure Heterogeneous Application Run-Time Environment (SHARE), AFRL-IF-TR-1998-183 Final Technical Report sponsored by DARPA, 9/88. P. Zemany, A. DeCegama and J. Smith, Fusion for Radar and Acoustic Data, IEEE Controls Conference, Fusion Workshop, U. of Chicago, Aug. 1993.

A. DeCegama and J. Smith, Neural Networks and Genetic Algorithms for Combinatorial Optimization of Sensor Data Fusion, SPIE Proceedings, ISBN 0-8194-0864-6, April 1992.

D. Mook, S. Lang, T. Joo, W. Dove and J. Smith, A KBSP Approach to Fusion and Situation Assessment, IEEE Digital Signal Processing Conference, Chatham, MA, Nov. 1986.

J. Smith, Problems with Ada in Real-time Embedded Systems, Defense Science and Electronics, Oct. 1985.

J. Reiner and J. Smith, Practical AI Implementation Issues in Multi-sensor Fusion, GOMAC '85, Nov. 1985.

J. Smith, A Quicker Quickersort, Microcomputing Magazine, June 1981.

J. Smith, Software Implementation of CORDIC Technique as Applied to Trigonometric Functions, NAECON '81 (published by IEEE), May 1981.

M. Blackmon, D. DeMoss, L. Klos and J. Smith, Microcomputer Software Development System, NAECON '80 (published by IEEE), May 1980.

 

Other Miscellaneous Internal Papers


"A Suite of Cases For More Intelligent Mission Processing", "A Pave Pillar Compatible, Dynamically Reconfigurable Ada Executive", "Algorithm Manager: Dynamic System Configuration", "Batch and Incremental Learning of One Function in the One Neuron Case", "Reasoning Under Uncertainty Supporting Experimentation, Evaluation and Control", etc. - any of these are available upon request.

 

Return to Top