Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for +publisher:"Florida International University" +contributor:("Xudong He"). Showing records 1 – 26 of 26 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


Florida International University

1. Wang, Huan. A Large-scale Dynamic Vector and Raster Data Visualization Geographic Information System Based on Parallel Map Tiling.

Degree: PhD, Computer Science, 2011, Florida International University

  With the exponential increasing demands and uses of GIS data visualization system, such as urban planning, environment and climate change monitoring, weather simulation, hydrographic… (more)

Subjects/Keywords: Large-scale; Dynamic; Vector and Raster Data; Visualization; GIS; Parallel Map Tiling

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Wang, H. (2011). A Large-scale Dynamic Vector and Raster Data Visualization Geographic Information System Based on Parallel Map Tiling. (Doctoral Dissertation). Florida International University. Retrieved from https://digitalcommons.fiu.edu/etd/550 ; 10.25148/etd.FI12041101 ; FI12041101

Chicago Manual of Style (16th Edition):

Wang, Huan. “A Large-scale Dynamic Vector and Raster Data Visualization Geographic Information System Based on Parallel Map Tiling.” 2011. Doctoral Dissertation, Florida International University. Accessed January 24, 2020. https://digitalcommons.fiu.edu/etd/550 ; 10.25148/etd.FI12041101 ; FI12041101.

MLA Handbook (7th Edition):

Wang, Huan. “A Large-scale Dynamic Vector and Raster Data Visualization Geographic Information System Based on Parallel Map Tiling.” 2011. Web. 24 Jan 2020.

Vancouver:

Wang H. A Large-scale Dynamic Vector and Raster Data Visualization Geographic Information System Based on Parallel Map Tiling. [Internet] [Doctoral dissertation]. Florida International University; 2011. [cited 2020 Jan 24]. Available from: https://digitalcommons.fiu.edu/etd/550 ; 10.25148/etd.FI12041101 ; FI12041101.

Council of Science Editors:

Wang H. A Large-scale Dynamic Vector and Raster Data Visualization Geographic Information System Based on Parallel Map Tiling. [Doctoral Dissertation]. Florida International University; 2011. Available from: https://digitalcommons.fiu.edu/etd/550 ; 10.25148/etd.FI12041101 ; FI12041101


Florida International University

2. Chang, Lily. A Nested Petri Net Framework for Modeling and Analyzing Multi-Agent Systems.

Degree: Computer Science, 2011, Florida International University

  In the past two decades, multi-agent systems (MAS) have emerged as a new paradigm for conceptualizing large and complex distributed software systems. A multi-agent… (more)

Subjects/Keywords: Formal Methods; Petri Nets; Multi-Agent Systems; Agent-Oriented Modeling

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Chang, L. (2011). A Nested Petri Net Framework for Modeling and Analyzing Multi-Agent Systems. (Thesis). Florida International University. Retrieved from https://digitalcommons.fiu.edu/etd/339 ; 10.25148/etd.FI11040601 ; FI11040601

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Chang, Lily. “A Nested Petri Net Framework for Modeling and Analyzing Multi-Agent Systems.” 2011. Thesis, Florida International University. Accessed January 24, 2020. https://digitalcommons.fiu.edu/etd/339 ; 10.25148/etd.FI11040601 ; FI11040601.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Chang, Lily. “A Nested Petri Net Framework for Modeling and Analyzing Multi-Agent Systems.” 2011. Web. 24 Jan 2020.

Vancouver:

Chang L. A Nested Petri Net Framework for Modeling and Analyzing Multi-Agent Systems. [Internet] [Thesis]. Florida International University; 2011. [cited 2020 Jan 24]. Available from: https://digitalcommons.fiu.edu/etd/339 ; 10.25148/etd.FI11040601 ; FI11040601.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Chang L. A Nested Petri Net Framework for Modeling and Analyzing Multi-Agent Systems. [Thesis]. Florida International University; 2011. Available from: https://digitalcommons.fiu.edu/etd/339 ; 10.25148/etd.FI11040601 ; FI11040601

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Florida International University

3. Wu, Yali. A Domain Specific Modeling Approach for Coordinating User-Centric Communication Services.

Degree: Computer Science, 2011, Florida International University

  Rapid advances in electronic communication devices and technologies have resulted in a shift in the way communication applications are being developed. These new development… (more)

Subjects/Keywords: Domain-Specific Modeling; User-Centric Communication; Workflows

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Wu, Y. (2011). A Domain Specific Modeling Approach for Coordinating User-Centric Communication Services. (Thesis). Florida International University. Retrieved from https://digitalcommons.fiu.edu/etd/465 ; 10.25148/etd.FI11081201 ; FI11081201

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Wu, Yali. “A Domain Specific Modeling Approach for Coordinating User-Centric Communication Services.” 2011. Thesis, Florida International University. Accessed January 24, 2020. https://digitalcommons.fiu.edu/etd/465 ; 10.25148/etd.FI11081201 ; FI11081201.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Wu, Yali. “A Domain Specific Modeling Approach for Coordinating User-Centric Communication Services.” 2011. Web. 24 Jan 2020.

Vancouver:

Wu Y. A Domain Specific Modeling Approach for Coordinating User-Centric Communication Services. [Internet] [Thesis]. Florida International University; 2011. [cited 2020 Jan 24]. Available from: https://digitalcommons.fiu.edu/etd/465 ; 10.25148/etd.FI11081201 ; FI11081201.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Wu Y. A Domain Specific Modeling Approach for Coordinating User-Centric Communication Services. [Thesis]. Florida International University; 2011. Available from: https://digitalcommons.fiu.edu/etd/465 ; 10.25148/etd.FI11081201 ; FI11081201

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Florida International University

4. Sun, Zhuo. A Method and Tool for Finding Concurrency Bugs Involving Multiple Variables with Application to Modern Distributed Systems.

Degree: PhD, Computer Science, 2018, Florida International University

  Concurrency bugs are extremely hard to detect due to huge interleaving space. They are happening in the real world more often because of the… (more)

Subjects/Keywords: atomicity violation; model checking; multi-threaded programs; distributed systems; multiple variable correlations; Software Engineering; Systems Architecture

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Sun, Z. (2018). A Method and Tool for Finding Concurrency Bugs Involving Multiple Variables with Application to Modern Distributed Systems. (Doctoral Dissertation). Florida International University. Retrieved from https://digitalcommons.fiu.edu/etd/3896 ; FIDC007011

Chicago Manual of Style (16th Edition):

Sun, Zhuo. “A Method and Tool for Finding Concurrency Bugs Involving Multiple Variables with Application to Modern Distributed Systems.” 2018. Doctoral Dissertation, Florida International University. Accessed January 24, 2020. https://digitalcommons.fiu.edu/etd/3896 ; FIDC007011.

MLA Handbook (7th Edition):

Sun, Zhuo. “A Method and Tool for Finding Concurrency Bugs Involving Multiple Variables with Application to Modern Distributed Systems.” 2018. Web. 24 Jan 2020.

Vancouver:

Sun Z. A Method and Tool for Finding Concurrency Bugs Involving Multiple Variables with Application to Modern Distributed Systems. [Internet] [Doctoral dissertation]. Florida International University; 2018. [cited 2020 Jan 24]. Available from: https://digitalcommons.fiu.edu/etd/3896 ; FIDC007011.

Council of Science Editors:

Sun Z. A Method and Tool for Finding Concurrency Bugs Involving Multiple Variables with Application to Modern Distributed Systems. [Doctoral Dissertation]. Florida International University; 2018. Available from: https://digitalcommons.fiu.edu/etd/3896 ; FIDC007011


Florida International University

5. Ha, Hsin-Yu. Integrating Deep Learning with Correlation-based Multimedia Semantic Concept Detection.

Degree: PhD, Computer Science, 2015, Florida International University

  The rapid advances in technologies make the explosive growth of multimedia data possible and available to the public. Multimedia data can be defined as… (more)

Subjects/Keywords: Multimedia Data; Semantic Concept Detection; Deep Learning; Correlation-based; Computer Sciences; Theory and Algorithms

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ha, H. (2015). Integrating Deep Learning with Correlation-based Multimedia Semantic Concept Detection. (Doctoral Dissertation). Florida International University. Retrieved from https://digitalcommons.fiu.edu/etd/2268 ; 10.25148/etd.FIDC000162 ; FIDC000162

Chicago Manual of Style (16th Edition):

Ha, Hsin-Yu. “Integrating Deep Learning with Correlation-based Multimedia Semantic Concept Detection.” 2015. Doctoral Dissertation, Florida International University. Accessed January 24, 2020. https://digitalcommons.fiu.edu/etd/2268 ; 10.25148/etd.FIDC000162 ; FIDC000162.

MLA Handbook (7th Edition):

Ha, Hsin-Yu. “Integrating Deep Learning with Correlation-based Multimedia Semantic Concept Detection.” 2015. Web. 24 Jan 2020.

Vancouver:

Ha H. Integrating Deep Learning with Correlation-based Multimedia Semantic Concept Detection. [Internet] [Doctoral dissertation]. Florida International University; 2015. [cited 2020 Jan 24]. Available from: https://digitalcommons.fiu.edu/etd/2268 ; 10.25148/etd.FIDC000162 ; FIDC000162.

Council of Science Editors:

Ha H. Integrating Deep Learning with Correlation-based Multimedia Semantic Concept Detection. [Doctoral Dissertation]. Florida International University; 2015. Available from: https://digitalcommons.fiu.edu/etd/2268 ; 10.25148/etd.FIDC000162 ; FIDC000162

6. Babic, Djuradj. Adaptive Software Fault Prediction Approach Using Object-Oriented Metrics.

Degree: PhD, Computer Science, 2012, Florida International University

  As users continually request additional functionality, software systems will continue to grow in their complexity, as well as in their susceptibility to failures. Particularly… (more)

Subjects/Keywords: software measurement; fault prediction

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Babic, D. (2012). Adaptive Software Fault Prediction Approach Using Object-Oriented Metrics. (Doctoral Dissertation). Florida International University. Retrieved from https://digitalcommons.fiu.edu/etd/767 ; 10.25148/etd.FI12120408 ; FI12120408

Chicago Manual of Style (16th Edition):

Babic, Djuradj. “Adaptive Software Fault Prediction Approach Using Object-Oriented Metrics.” 2012. Doctoral Dissertation, Florida International University. Accessed January 24, 2020. https://digitalcommons.fiu.edu/etd/767 ; 10.25148/etd.FI12120408 ; FI12120408.

MLA Handbook (7th Edition):

Babic, Djuradj. “Adaptive Software Fault Prediction Approach Using Object-Oriented Metrics.” 2012. Web. 24 Jan 2020.

Vancouver:

Babic D. Adaptive Software Fault Prediction Approach Using Object-Oriented Metrics. [Internet] [Doctoral dissertation]. Florida International University; 2012. [cited 2020 Jan 24]. Available from: https://digitalcommons.fiu.edu/etd/767 ; 10.25148/etd.FI12120408 ; FI12120408.

Council of Science Editors:

Babic D. Adaptive Software Fault Prediction Approach Using Object-Oriented Metrics. [Doctoral Dissertation]. Florida International University; 2012. Available from: https://digitalcommons.fiu.edu/etd/767 ; 10.25148/etd.FI12120408 ; FI12120408

7. Zhu, Feng. Integrity-Based Kernel Malware Detection.

Degree: PhD, Computer Science, 2014, Florida International University

  Kernel-level malware is one of the most dangerous threats to the security of users on the Internet, so there is an urgent need for… (more)

Subjects/Keywords: Integrity modeling; Invariant; Kernel Queue; Malware detection; System Security; Information Security

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Zhu, F. (2014). Integrity-Based Kernel Malware Detection. (Doctoral Dissertation). Florida International University. Retrieved from https://digitalcommons.fiu.edu/etd/1572 ; 10.25148/etd.FI14110701 ; FI14110701

Chicago Manual of Style (16th Edition):

Zhu, Feng. “Integrity-Based Kernel Malware Detection.” 2014. Doctoral Dissertation, Florida International University. Accessed January 24, 2020. https://digitalcommons.fiu.edu/etd/1572 ; 10.25148/etd.FI14110701 ; FI14110701.

MLA Handbook (7th Edition):

Zhu, Feng. “Integrity-Based Kernel Malware Detection.” 2014. Web. 24 Jan 2020.

Vancouver:

Zhu F. Integrity-Based Kernel Malware Detection. [Internet] [Doctoral dissertation]. Florida International University; 2014. [cited 2020 Jan 24]. Available from: https://digitalcommons.fiu.edu/etd/1572 ; 10.25148/etd.FI14110701 ; FI14110701.

Council of Science Editors:

Zhu F. Integrity-Based Kernel Malware Detection. [Doctoral Dissertation]. Florida International University; 2014. Available from: https://digitalcommons.fiu.edu/etd/1572 ; 10.25148/etd.FI14110701 ; FI14110701

8. Wang, Yongzhi. Constructing Secure MapReduce Framework in Cloud-based Environment.

Degree: PhD, Computer Science, 2015, Florida International University

  MapReduce, a parallel computing paradigm, has been gaining popularity in recent years as cloud vendors offer MapReduce computation services on their public clouds. However,… (more)

Subjects/Keywords: Security; MapReduce; Cloud Computing; Integrity; Confidentiality; Information Security

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Wang, Y. (2015). Constructing Secure MapReduce Framework in Cloud-based Environment. (Doctoral Dissertation). Florida International University. Retrieved from https://digitalcommons.fiu.edu/etd/2238 ; 10.25148/etd.FIDC000061 ; FIDC000061

Chicago Manual of Style (16th Edition):

Wang, Yongzhi. “Constructing Secure MapReduce Framework in Cloud-based Environment.” 2015. Doctoral Dissertation, Florida International University. Accessed January 24, 2020. https://digitalcommons.fiu.edu/etd/2238 ; 10.25148/etd.FIDC000061 ; FIDC000061.

MLA Handbook (7th Edition):

Wang, Yongzhi. “Constructing Secure MapReduce Framework in Cloud-based Environment.” 2015. Web. 24 Jan 2020.

Vancouver:

Wang Y. Constructing Secure MapReduce Framework in Cloud-based Environment. [Internet] [Doctoral dissertation]. Florida International University; 2015. [cited 2020 Jan 24]. Available from: https://digitalcommons.fiu.edu/etd/2238 ; 10.25148/etd.FIDC000061 ; FIDC000061.

Council of Science Editors:

Wang Y. Constructing Secure MapReduce Framework in Cloud-based Environment. [Doctoral Dissertation]. Florida International University; 2015. Available from: https://digitalcommons.fiu.edu/etd/2238 ; 10.25148/etd.FIDC000061 ; FIDC000061

9. Liu, Su. Formal Modeling and Analysis Techniques for High Level Petri Nets.

Degree: PhD, Computer Science, 2014, Florida International University

  Petri Nets are a formal, graphical and executable modeling technique for the specification and analysis of concurrent and distributed systems and have been widely… (more)

Subjects/Keywords: Petri Net; Formal Method; Model Checking

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Liu, S. (2014). Formal Modeling and Analysis Techniques for High Level Petri Nets. (Doctoral Dissertation). Florida International University. Retrieved from https://digitalcommons.fiu.edu/etd/1522 ; 10.25148/etd.FI14071134 ; FI14071134

Chicago Manual of Style (16th Edition):

Liu, Su. “Formal Modeling and Analysis Techniques for High Level Petri Nets.” 2014. Doctoral Dissertation, Florida International University. Accessed January 24, 2020. https://digitalcommons.fiu.edu/etd/1522 ; 10.25148/etd.FI14071134 ; FI14071134.

MLA Handbook (7th Edition):

Liu, Su. “Formal Modeling and Analysis Techniques for High Level Petri Nets.” 2014. Web. 24 Jan 2020.

Vancouver:

Liu S. Formal Modeling and Analysis Techniques for High Level Petri Nets. [Internet] [Doctoral dissertation]. Florida International University; 2014. [cited 2020 Jan 24]. Available from: https://digitalcommons.fiu.edu/etd/1522 ; 10.25148/etd.FI14071134 ; FI14071134.

Council of Science Editors:

Liu S. Formal Modeling and Analysis Techniques for High Level Petri Nets. [Doctoral Dissertation]. Florida International University; 2014. Available from: https://digitalcommons.fiu.edu/etd/1522 ; 10.25148/etd.FI14071134 ; FI14071134

10. Yang, Yimin. Exploring Hidden Coherent Feature Groups and Temporal Semantics for Multimedia Big Data Analysis.

Degree: PhD, Computer Science, 2015, Florida International University

  Thanks to the advanced technologies and social networks that allow the data to be widely shared among the Internet, there is an explosion of… (more)

Subjects/Keywords: Multimedia data mining; big data; multiple correspondence analysis; multimedia semantic retrieval; temporal analysis; feature analysis; disaster management; Computer and Systems Architecture; Other Computer Engineering; Signal Processing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Yang, Y. (2015). Exploring Hidden Coherent Feature Groups and Temporal Semantics for Multimedia Big Data Analysis. (Doctoral Dissertation). Florida International University. Retrieved from https://digitalcommons.fiu.edu/etd/2254 ; 10.25148/etd.FIDC000146 ; FIDC000146

Chicago Manual of Style (16th Edition):

Yang, Yimin. “Exploring Hidden Coherent Feature Groups and Temporal Semantics for Multimedia Big Data Analysis.” 2015. Doctoral Dissertation, Florida International University. Accessed January 24, 2020. https://digitalcommons.fiu.edu/etd/2254 ; 10.25148/etd.FIDC000146 ; FIDC000146.

MLA Handbook (7th Edition):

Yang, Yimin. “Exploring Hidden Coherent Feature Groups and Temporal Semantics for Multimedia Big Data Analysis.” 2015. Web. 24 Jan 2020.

Vancouver:

Yang Y. Exploring Hidden Coherent Feature Groups and Temporal Semantics for Multimedia Big Data Analysis. [Internet] [Doctoral dissertation]. Florida International University; 2015. [cited 2020 Jan 24]. Available from: https://digitalcommons.fiu.edu/etd/2254 ; 10.25148/etd.FIDC000146 ; FIDC000146.

Council of Science Editors:

Yang Y. Exploring Hidden Coherent Feature Groups and Temporal Semantics for Multimedia Big Data Analysis. [Doctoral Dissertation]. Florida International University; 2015. Available from: https://digitalcommons.fiu.edu/etd/2254 ; 10.25148/etd.FIDC000146 ; FIDC000146

11. Cui, Zheng. A Generalized Adaptive Mathematical Morphological Filter for LIDAR Data.

Degree: PhD, Computer Science, 2013, Florida International University

  Airborne Light Detection and Ranging (LIDAR) technology has become the primary method to derive high-resolution Digital Terrain Models (DTMs), which are essential for studying… (more)

Subjects/Keywords: LIDAR; Digital terrain model (DTM); data filtering; geospatial data analytics; Geotechnical Engineering; Other Computer Sciences; Other Earth Sciences; Theory and Algorithms

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Cui, Z. (2013). A Generalized Adaptive Mathematical Morphological Filter for LIDAR Data. (Doctoral Dissertation). Florida International University. Retrieved from https://digitalcommons.fiu.edu/etd/995 ; 10.25148/etd.FI13120607 ; FI13120607

Chicago Manual of Style (16th Edition):

Cui, Zheng. “A Generalized Adaptive Mathematical Morphological Filter for LIDAR Data.” 2013. Doctoral Dissertation, Florida International University. Accessed January 24, 2020. https://digitalcommons.fiu.edu/etd/995 ; 10.25148/etd.FI13120607 ; FI13120607.

MLA Handbook (7th Edition):

Cui, Zheng. “A Generalized Adaptive Mathematical Morphological Filter for LIDAR Data.” 2013. Web. 24 Jan 2020.

Vancouver:

Cui Z. A Generalized Adaptive Mathematical Morphological Filter for LIDAR Data. [Internet] [Doctoral dissertation]. Florida International University; 2013. [cited 2020 Jan 24]. Available from: https://digitalcommons.fiu.edu/etd/995 ; 10.25148/etd.FI13120607 ; FI13120607.

Council of Science Editors:

Cui Z. A Generalized Adaptive Mathematical Morphological Filter for LIDAR Data. [Doctoral Dissertation]. Florida International University; 2013. Available from: https://digitalcommons.fiu.edu/etd/995 ; 10.25148/etd.FI13120607 ; FI13120607

12. Zeng, Reng. Methods for Modeling and Analyzing Concurrent Software.

Degree: PhD, Computer Science, 2013, Florida International University

  Concurrent software executes multiple threads or processes to achieve high performance. However, concurrency results in a huge number of different system behaviors that are… (more)

Subjects/Keywords: concurrency; multi-threaded program; atomicity violation; model checking; Petri nets; verification; Mondex; scientific workflow; Software Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Zeng, R. (2013). Methods for Modeling and Analyzing Concurrent Software. (Doctoral Dissertation). Florida International University. Retrieved from https://digitalcommons.fiu.edu/etd/931 ; 10.25148/etd.FI13080908 ; FI13080908

Chicago Manual of Style (16th Edition):

Zeng, Reng. “Methods for Modeling and Analyzing Concurrent Software.” 2013. Doctoral Dissertation, Florida International University. Accessed January 24, 2020. https://digitalcommons.fiu.edu/etd/931 ; 10.25148/etd.FI13080908 ; FI13080908.

MLA Handbook (7th Edition):

Zeng, Reng. “Methods for Modeling and Analyzing Concurrent Software.” 2013. Web. 24 Jan 2020.

Vancouver:

Zeng R. Methods for Modeling and Analyzing Concurrent Software. [Internet] [Doctoral dissertation]. Florida International University; 2013. [cited 2020 Jan 24]. Available from: https://digitalcommons.fiu.edu/etd/931 ; 10.25148/etd.FI13080908 ; FI13080908.

Council of Science Editors:

Zeng R. Methods for Modeling and Analyzing Concurrent Software. [Doctoral Dissertation]. Florida International University; 2013. Available from: https://digitalcommons.fiu.edu/etd/931 ; 10.25148/etd.FI13080908 ; FI13080908

13. Shi, Bin. A Mathematical Framework on Machine Learning: Theory and Application.

Degree: PhD, Computer Science, 2018, Florida International University

  The dissertation addresses the research topics of machine learning outlined below. We developed the theory about traditional first-order algorithms from convex opti- mization and… (more)

Subjects/Keywords: artificial intelligence; robotics; numerical analysis; computation; operational research; ordinary differential equations; theory; algorithms; Artificial Intelligence and Robotics; Numerical Analysis and Computation; Operational Research; Ordinary Differential Equations and Applied Dynamics; Theory and Algorithms

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Shi, B. (2018). A Mathematical Framework on Machine Learning: Theory and Application. (Doctoral Dissertation). Florida International University. Retrieved from https://digitalcommons.fiu.edu/etd/3876 ; FIDC007030

Chicago Manual of Style (16th Edition):

Shi, Bin. “A Mathematical Framework on Machine Learning: Theory and Application.” 2018. Doctoral Dissertation, Florida International University. Accessed January 24, 2020. https://digitalcommons.fiu.edu/etd/3876 ; FIDC007030.

MLA Handbook (7th Edition):

Shi, Bin. “A Mathematical Framework on Machine Learning: Theory and Application.” 2018. Web. 24 Jan 2020.

Vancouver:

Shi B. A Mathematical Framework on Machine Learning: Theory and Application. [Internet] [Doctoral dissertation]. Florida International University; 2018. [cited 2020 Jan 24]. Available from: https://digitalcommons.fiu.edu/etd/3876 ; FIDC007030.

Council of Science Editors:

Shi B. A Mathematical Framework on Machine Learning: Theory and Application. [Doctoral Dissertation]. Florida International University; 2018. Available from: https://digitalcommons.fiu.edu/etd/3876 ; FIDC007030


Florida International University

14. Fernandez, Rigoberto. Software tool that generates hierarchical predicate transition nets (HPRTNETS) notation from a unified modeling language (UML) class diagram notation.

Degree: MS, Computer Science, 2001, Florida International University

  The purpose of this thesis was to design and implement a software engineering tool that supports the editing of Hierarchical Predicate Transition Nets (HPrTNets)… (more)

Subjects/Keywords: Computer Sciences; Physical Sciences and Mathematics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Fernandez, R. (2001). Software tool that generates hierarchical predicate transition nets (HPRTNETS) notation from a unified modeling language (UML) class diagram notation. (Thesis). Florida International University. Retrieved from https://digitalcommons.fiu.edu/etd/3306 ; 10.25148/etd.FI15101378 ; FI15101378

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Fernandez, Rigoberto. “Software tool that generates hierarchical predicate transition nets (HPRTNETS) notation from a unified modeling language (UML) class diagram notation.” 2001. Thesis, Florida International University. Accessed January 24, 2020. https://digitalcommons.fiu.edu/etd/3306 ; 10.25148/etd.FI15101378 ; FI15101378.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Fernandez, Rigoberto. “Software tool that generates hierarchical predicate transition nets (HPRTNETS) notation from a unified modeling language (UML) class diagram notation.” 2001. Web. 24 Jan 2020.

Vancouver:

Fernandez R. Software tool that generates hierarchical predicate transition nets (HPRTNETS) notation from a unified modeling language (UML) class diagram notation. [Internet] [Thesis]. Florida International University; 2001. [cited 2020 Jan 24]. Available from: https://digitalcommons.fiu.edu/etd/3306 ; 10.25148/etd.FI15101378 ; FI15101378.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Fernandez R. Software tool that generates hierarchical predicate transition nets (HPRTNETS) notation from a unified modeling language (UML) class diagram notation. [Thesis]. Florida International University; 2001. Available from: https://digitalcommons.fiu.edu/etd/3306 ; 10.25148/etd.FI15101378 ; FI15101378

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Florida International University

15. Awadallah, Amany Z. A software tool that generates symbolic model verifier (SMV) input language from a predicate transition net.

Degree: MS, Computer Science, 2004, Florida International University

  The purpose of this research was to apply model checking by using a symbolic model checker on Predicate Transition Nets (PrT Nets). A PrT… (more)

Subjects/Keywords: Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Awadallah, A. Z. (2004). A software tool that generates symbolic model verifier (SMV) input language from a predicate transition net. (Thesis). Florida International University. Retrieved from https://digitalcommons.fiu.edu/etd/1346 ; 10.25148/etd.FI14032377 ; FI14032377

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Awadallah, Amany Z. “A software tool that generates symbolic model verifier (SMV) input language from a predicate transition net.” 2004. Thesis, Florida International University. Accessed January 24, 2020. https://digitalcommons.fiu.edu/etd/1346 ; 10.25148/etd.FI14032377 ; FI14032377.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Awadallah, Amany Z. “A software tool that generates symbolic model verifier (SMV) input language from a predicate transition net.” 2004. Web. 24 Jan 2020.

Vancouver:

Awadallah AZ. A software tool that generates symbolic model verifier (SMV) input language from a predicate transition net. [Internet] [Thesis]. Florida International University; 2004. [cited 2020 Jan 24]. Available from: https://digitalcommons.fiu.edu/etd/1346 ; 10.25148/etd.FI14032377 ; FI14032377.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Awadallah AZ. A software tool that generates symbolic model verifier (SMV) input language from a predicate transition net. [Thesis]. Florida International University; 2004. Available from: https://digitalcommons.fiu.edu/etd/1346 ; 10.25148/etd.FI14032377 ; FI14032377

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Florida International University

16. Ding, Junhua. An approach for model checking petri nets based software architecture.

Degree: MS, Computer Science, 2000, Florida International University

  With the inevitable increase in complexity of both hardware and software systems, there is a growing demand for methodologies that can increase confidence in… (more)

Subjects/Keywords: Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ding, J. (2000). An approach for model checking petri nets based software architecture. (Thesis). Florida International University. Retrieved from https://digitalcommons.fiu.edu/etd/2821 ; 10.25148/etd.FI14062293 ; FI14062293

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Ding, Junhua. “An approach for model checking petri nets based software architecture.” 2000. Thesis, Florida International University. Accessed January 24, 2020. https://digitalcommons.fiu.edu/etd/2821 ; 10.25148/etd.FI14062293 ; FI14062293.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Ding, Junhua. “An approach for model checking petri nets based software architecture.” 2000. Web. 24 Jan 2020.

Vancouver:

Ding J. An approach for model checking petri nets based software architecture. [Internet] [Thesis]. Florida International University; 2000. [cited 2020 Jan 24]. Available from: https://digitalcommons.fiu.edu/etd/2821 ; 10.25148/etd.FI14062293 ; FI14062293.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Ding J. An approach for model checking petri nets based software architecture. [Thesis]. Florida International University; 2000. Available from: https://digitalcommons.fiu.edu/etd/2821 ; 10.25148/etd.FI14062293 ; FI14062293

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Florida International University

17. Caldwell, William S., II. A formal architectural specification of the automatic validation of the Everglades National Park hydrology system.

Degree: MS, Computer Science, 2001, Florida International University

  This thesis is focused on creating a formal architectural specification of a software system. I have used the computer system at the Everglades National… (more)

Subjects/Keywords: Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Caldwell, William S., I. (2001). A formal architectural specification of the automatic validation of the Everglades National Park hydrology system. (Thesis). Florida International University. Retrieved from https://digitalcommons.fiu.edu/etd/1973 ; 10.25148/etd.FI14052537 ; FI14052537

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Caldwell, William S., II. “A formal architectural specification of the automatic validation of the Everglades National Park hydrology system.” 2001. Thesis, Florida International University. Accessed January 24, 2020. https://digitalcommons.fiu.edu/etd/1973 ; 10.25148/etd.FI14052537 ; FI14052537.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Caldwell, William S., II. “A formal architectural specification of the automatic validation of the Everglades National Park hydrology system.” 2001. Web. 24 Jan 2020.

Vancouver:

Caldwell, William S. I. A formal architectural specification of the automatic validation of the Everglades National Park hydrology system. [Internet] [Thesis]. Florida International University; 2001. [cited 2020 Jan 24]. Available from: https://digitalcommons.fiu.edu/etd/1973 ; 10.25148/etd.FI14052537 ; FI14052537.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Caldwell, William S. I. A formal architectural specification of the automatic validation of the Everglades National Park hydrology system. [Thesis]. Florida International University; 2001. Available from: https://digitalcommons.fiu.edu/etd/1973 ; 10.25148/etd.FI14052537 ; FI14052537

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Florida International University

18. Deng, Zhenyue. Practical secure information flow in programming languages.

Degree: PhD, Computer Science, 2005, Florida International University

  If we classify variables in a program into various security levels, then a secure information flow analysis aims to verify statically that information in… (more)

Subjects/Keywords: Computer Sciences; Programming Languages and Compilers

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Deng, Z. (2005). Practical secure information flow in programming languages. (Doctoral Dissertation). Florida International University. Retrieved from https://digitalcommons.fiu.edu/etd/2771 ; 10.25148/etd.FI14062241 ; FI14062241

Chicago Manual of Style (16th Edition):

Deng, Zhenyue. “Practical secure information flow in programming languages.” 2005. Doctoral Dissertation, Florida International University. Accessed January 24, 2020. https://digitalcommons.fiu.edu/etd/2771 ; 10.25148/etd.FI14062241 ; FI14062241.

MLA Handbook (7th Edition):

Deng, Zhenyue. “Practical secure information flow in programming languages.” 2005. Web. 24 Jan 2020.

Vancouver:

Deng Z. Practical secure information flow in programming languages. [Internet] [Doctoral dissertation]. Florida International University; 2005. [cited 2020 Jan 24]. Available from: https://digitalcommons.fiu.edu/etd/2771 ; 10.25148/etd.FI14062241 ; FI14062241.

Council of Science Editors:

Deng Z. Practical secure information flow in programming languages. [Doctoral Dissertation]. Florida International University; 2005. Available from: https://digitalcommons.fiu.edu/etd/2771 ; 10.25148/etd.FI14062241 ; FI14062241


Florida International University

19. Nguyen, Vu. A Deontic Analysis of Inter-Organizational Control Requirements.

Degree: Business Administration, 2008, Florida International University

  This research focuses on the design and verification of inter-organizational controls. Instead of looking at a documentary procedure, which is the flow of documents… (more)

Subjects/Keywords: formal modeling; business process; procedure; control; Deontic; redesign

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Nguyen, V. (2008). A Deontic Analysis of Inter-Organizational Control Requirements. (Thesis). Florida International University. Retrieved from https://digitalcommons.fiu.edu/etd/69 ; 10.25148/etd.FI08121910 ; FI08121910

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Nguyen, Vu. “A Deontic Analysis of Inter-Organizational Control Requirements.” 2008. Thesis, Florida International University. Accessed January 24, 2020. https://digitalcommons.fiu.edu/etd/69 ; 10.25148/etd.FI08121910 ; FI08121910.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Nguyen, Vu. “A Deontic Analysis of Inter-Organizational Control Requirements.” 2008. Web. 24 Jan 2020.

Vancouver:

Nguyen V. A Deontic Analysis of Inter-Organizational Control Requirements. [Internet] [Thesis]. Florida International University; 2008. [cited 2020 Jan 24]. Available from: https://digitalcommons.fiu.edu/etd/69 ; 10.25148/etd.FI08121910 ; FI08121910.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Nguyen V. A Deontic Analysis of Inter-Organizational Control Requirements. [Thesis]. Florida International University; 2008. Available from: https://digitalcommons.fiu.edu/etd/69 ; 10.25148/etd.FI08121910 ; FI08121910

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Florida International University

20. Gao, Shu. An aspect-oriented approach to designing role-based access control services.

Degree: PhD, Computer Science, 2005, Florida International University

  Access control (AC) limits access to the resources of a system only to authorized entities. Given that information systems today are increasingly interconnected, AC… (more)

Subjects/Keywords: Computer Sciences; Physical Sciences and Mathematics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Gao, S. (2005). An aspect-oriented approach to designing role-based access control services. (Doctoral Dissertation). Florida International University. Retrieved from https://digitalcommons.fiu.edu/etd/3626 ; FI15101499

Chicago Manual of Style (16th Edition):

Gao, Shu. “An aspect-oriented approach to designing role-based access control services.” 2005. Doctoral Dissertation, Florida International University. Accessed January 24, 2020. https://digitalcommons.fiu.edu/etd/3626 ; FI15101499.

MLA Handbook (7th Edition):

Gao, Shu. “An aspect-oriented approach to designing role-based access control services.” 2005. Web. 24 Jan 2020.

Vancouver:

Gao S. An aspect-oriented approach to designing role-based access control services. [Internet] [Doctoral dissertation]. Florida International University; 2005. [cited 2020 Jan 24]. Available from: https://digitalcommons.fiu.edu/etd/3626 ; FI15101499.

Council of Science Editors:

Gao S. An aspect-oriented approach to designing role-based access control services. [Doctoral Dissertation]. Florida International University; 2005. Available from: https://digitalcommons.fiu.edu/etd/3626 ; FI15101499


Florida International University

21. Fu, Yujian. An integrated framework for ensuring the quality of software design.

Degree: PhD, Computer Science, 2007, Florida International University

  Software development is an extremely complex process, during which human errors are introduced and result in faulty software systems. It is highly desirable and… (more)

Subjects/Keywords: Computer Sciences; Physical Sciences and Mathematics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Fu, Y. (2007). An integrated framework for ensuring the quality of software design. (Doctoral Dissertation). Florida International University. Retrieved from https://digitalcommons.fiu.edu/etd/3612 ; 10.25148/etd.FI15101455 ; FI15101455

Chicago Manual of Style (16th Edition):

Fu, Yujian. “An integrated framework for ensuring the quality of software design.” 2007. Doctoral Dissertation, Florida International University. Accessed January 24, 2020. https://digitalcommons.fiu.edu/etd/3612 ; 10.25148/etd.FI15101455 ; FI15101455.

MLA Handbook (7th Edition):

Fu, Yujian. “An integrated framework for ensuring the quality of software design.” 2007. Web. 24 Jan 2020.

Vancouver:

Fu Y. An integrated framework for ensuring the quality of software design. [Internet] [Doctoral dissertation]. Florida International University; 2007. [cited 2020 Jan 24]. Available from: https://digitalcommons.fiu.edu/etd/3612 ; 10.25148/etd.FI15101455 ; FI15101455.

Council of Science Editors:

Fu Y. An integrated framework for ensuring the quality of software design. [Doctoral Dissertation]. Florida International University; 2007. Available from: https://digitalcommons.fiu.edu/etd/3612 ; 10.25148/etd.FI15101455 ; FI15101455


Florida International University

22. Argote Garcia, Gonzalo. Formal verification and testing of software architectural models.

Degree: PhD, Computer Science, 2009, Florida International University

  Ensuring the correctness of software has been the major motivation in software research, constituting a Grand Challenge. Due to its impact in the final… (more)

Subjects/Keywords: Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Argote Garcia, G. (2009). Formal verification and testing of software architectural models. (Doctoral Dissertation). Florida International University. Retrieved from https://digitalcommons.fiu.edu/etd/1308 ; 10.25148/etd.FI14032340 ; FI14032340

Chicago Manual of Style (16th Edition):

Argote Garcia, Gonzalo. “Formal verification and testing of software architectural models.” 2009. Doctoral Dissertation, Florida International University. Accessed January 24, 2020. https://digitalcommons.fiu.edu/etd/1308 ; 10.25148/etd.FI14032340 ; FI14032340.

MLA Handbook (7th Edition):

Argote Garcia, Gonzalo. “Formal verification and testing of software architectural models.” 2009. Web. 24 Jan 2020.

Vancouver:

Argote Garcia G. Formal verification and testing of software architectural models. [Internet] [Doctoral dissertation]. Florida International University; 2009. [cited 2020 Jan 24]. Available from: https://digitalcommons.fiu.edu/etd/1308 ; 10.25148/etd.FI14032340 ; FI14032340.

Council of Science Editors:

Argote Garcia G. Formal verification and testing of software architectural models. [Doctoral Dissertation]. Florida International University; 2009. Available from: https://digitalcommons.fiu.edu/etd/1308 ; 10.25148/etd.FI14032340 ; FI14032340


Florida International University

23. Ding, Junhua. A methodology for formally modeling and analyzing software architecture of mobile agent systems.

Degree: PhD, Computer Science, 2004, Florida International University

  A methodology for formally modeling and analyzing software architecture of mobile agent systems provides a solid basis to develop high quality mobile agent systems,… (more)

Subjects/Keywords: Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ding, J. (2004). A methodology for formally modeling and analyzing software architecture of mobile agent systems. (Doctoral Dissertation). Florida International University. Retrieved from https://digitalcommons.fiu.edu/etd/2820 ; 10.25148/etd.FI14062292 ; FI14062292

Chicago Manual of Style (16th Edition):

Ding, Junhua. “A methodology for formally modeling and analyzing software architecture of mobile agent systems.” 2004. Doctoral Dissertation, Florida International University. Accessed January 24, 2020. https://digitalcommons.fiu.edu/etd/2820 ; 10.25148/etd.FI14062292 ; FI14062292.

MLA Handbook (7th Edition):

Ding, Junhua. “A methodology for formally modeling and analyzing software architecture of mobile agent systems.” 2004. Web. 24 Jan 2020.

Vancouver:

Ding J. A methodology for formally modeling and analyzing software architecture of mobile agent systems. [Internet] [Doctoral dissertation]. Florida International University; 2004. [cited 2020 Jan 24]. Available from: https://digitalcommons.fiu.edu/etd/2820 ; 10.25148/etd.FI14062292 ; FI14062292.

Council of Science Editors:

Ding J. A methodology for formally modeling and analyzing software architecture of mobile agent systems. [Doctoral Dissertation]. Florida International University; 2004. Available from: https://digitalcommons.fiu.edu/etd/2820 ; 10.25148/etd.FI14062292 ; FI14062292


Florida International University

24. Dong, Zhijiang. A framework for transforming, analyzing, and realizing software designs in unified modeling language.

Degree: PhD, Computer Science, 2006, Florida International University

  Unified Modeling Language (UML) is the most comprehensive and widely accepted object-oriented modeling language due to its multi-paradigm modeling capabilities and easy to use… (more)

Subjects/Keywords: Computer Sciences; Software Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Dong, Z. (2006). A framework for transforming, analyzing, and realizing software designs in unified modeling language. (Doctoral Dissertation). Florida International University. Retrieved from https://digitalcommons.fiu.edu/etd/3077 ; 10.25148/etd.FI15101214 ; FI15101214

Chicago Manual of Style (16th Edition):

Dong, Zhijiang. “A framework for transforming, analyzing, and realizing software designs in unified modeling language.” 2006. Doctoral Dissertation, Florida International University. Accessed January 24, 2020. https://digitalcommons.fiu.edu/etd/3077 ; 10.25148/etd.FI15101214 ; FI15101214.

MLA Handbook (7th Edition):

Dong, Zhijiang. “A framework for transforming, analyzing, and realizing software designs in unified modeling language.” 2006. Web. 24 Jan 2020.

Vancouver:

Dong Z. A framework for transforming, analyzing, and realizing software designs in unified modeling language. [Internet] [Doctoral dissertation]. Florida International University; 2006. [cited 2020 Jan 24]. Available from: https://digitalcommons.fiu.edu/etd/3077 ; 10.25148/etd.FI15101214 ; FI15101214.

Council of Science Editors:

Dong Z. A framework for transforming, analyzing, and realizing software designs in unified modeling language. [Doctoral Dissertation]. Florida International University; 2006. Available from: https://digitalcommons.fiu.edu/etd/3077 ; 10.25148/etd.FI15101214 ; FI15101214


Florida International University

25. Chatterjee, Kasturi. A generalized multidimensional index structure for multimedia data to support content-based similarity searches in a collaborative search environment.

Degree: PhD, Computer Science, 2010, Florida International University

  Since multimedia data, such as images and videos, are way more expressive and informative than ordinary text-based data, people find it more attractive to… (more)

Subjects/Keywords: Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Chatterjee, K. (2010). A generalized multidimensional index structure for multimedia data to support content-based similarity searches in a collaborative search environment. (Doctoral Dissertation). Florida International University. Retrieved from https://digitalcommons.fiu.edu/etd/2114 ; 10.25148/etd.FI14060146 ; FI14060146

Chicago Manual of Style (16th Edition):

Chatterjee, Kasturi. “A generalized multidimensional index structure for multimedia data to support content-based similarity searches in a collaborative search environment.” 2010. Doctoral Dissertation, Florida International University. Accessed January 24, 2020. https://digitalcommons.fiu.edu/etd/2114 ; 10.25148/etd.FI14060146 ; FI14060146.

MLA Handbook (7th Edition):

Chatterjee, Kasturi. “A generalized multidimensional index structure for multimedia data to support content-based similarity searches in a collaborative search environment.” 2010. Web. 24 Jan 2020.

Vancouver:

Chatterjee K. A generalized multidimensional index structure for multimedia data to support content-based similarity searches in a collaborative search environment. [Internet] [Doctoral dissertation]. Florida International University; 2010. [cited 2020 Jan 24]. Available from: https://digitalcommons.fiu.edu/etd/2114 ; 10.25148/etd.FI14060146 ; FI14060146.

Council of Science Editors:

Chatterjee K. A generalized multidimensional index structure for multimedia data to support content-based similarity searches in a collaborative search environment. [Doctoral Dissertation]. Florida International University; 2010. Available from: https://digitalcommons.fiu.edu/etd/2114 ; 10.25148/etd.FI14060146 ; FI14060146


Florida International University

26. Morales, Jose Andre. A Behavior Based Approach to Virus Detection.

Degree: Computer Science, 2008, Florida International University

  Fast spreading unknown viruses have caused major damage on computer systems upon their initial release. Current detection methods have lacked capabilities to detect unknown… (more)

Subjects/Keywords: computer virus behavior based self reference repli

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Morales, J. A. (2008). A Behavior Based Approach to Virus Detection. (Thesis). Florida International University. Retrieved from https://digitalcommons.fiu.edu/etd/41 ; 10.25148/etd.FI08081536 ; FI08081536

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Morales, Jose Andre. “A Behavior Based Approach to Virus Detection.” 2008. Thesis, Florida International University. Accessed January 24, 2020. https://digitalcommons.fiu.edu/etd/41 ; 10.25148/etd.FI08081536 ; FI08081536.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Morales, Jose Andre. “A Behavior Based Approach to Virus Detection.” 2008. Web. 24 Jan 2020.

Vancouver:

Morales JA. A Behavior Based Approach to Virus Detection. [Internet] [Thesis]. Florida International University; 2008. [cited 2020 Jan 24]. Available from: https://digitalcommons.fiu.edu/etd/41 ; 10.25148/etd.FI08081536 ; FI08081536.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Morales JA. A Behavior Based Approach to Virus Detection. [Thesis]. Florida International University; 2008. Available from: https://digitalcommons.fiu.edu/etd/41 ; 10.25148/etd.FI08081536 ; FI08081536

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

.