Literatura académica sobre el tema "Semantics preserving modeling technique"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Semantics preserving modeling technique".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Artículos de revistas sobre el tema "Semantics preserving modeling technique"
Tigane, Samir, Fayçal Guerrouf, Nadia Hamani, Laid Kahloul, Mohamed Khalgui y Masood Ashraf Ali. "Dynamic Timed Automata for Reconfigurable System Modeling and Verification". Axioms 12, n.º 3 (22 de febrero de 2023): 230. http://dx.doi.org/10.3390/axioms12030230.
Texto completoKim, Ji-Sun y Cheong Youn. "EMPS : An Efficient Software Merging Technique for Preserving Semantics". KIPS Transactions:PartD 13D, n.º 2 (1 de abril de 2006): 223–34. http://dx.doi.org/10.3745/kipstd.2006.13d.2.223.
Texto completoVarde, Aparna S., Mohammed Maniruzzaman y Richard D. Sisson. "QuenchML: A semantics-preserving markup language for knowledge representation in quenching". Artificial Intelligence for Engineering Design, Analysis and Manufacturing 27, n.º 1 (15 de enero de 2013): 65–82. http://dx.doi.org/10.1017/s0890060412000352.
Texto completoMarino, B. G., A. Masiero, F. Chiabrando, A. M. Lingua, F. Fissore, W. Błaszczak-Bak y A. Vettore. "DATA OPTIMIZATION FOR 3D MODELING AND ANALYSIS OF A FORTRESS ARCHITECTURE". ISPRS - International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences XLII-2/W11 (4 de mayo de 2019): 809–13. http://dx.doi.org/10.5194/isprs-archives-xlii-2-w11-809-2019.
Texto completoBatra, Dinesh. "An Event-Oriented Data Modeling Technique Based on the Cognitive Semantics Theory". Journal of Database Management 23, n.º 4 (octubre de 2012): 52–74. http://dx.doi.org/10.4018/jdm.2012100103.
Texto completoBeck, Edgar, Carsten Bockelmann y Armin Dekorsy. "Semantic Information Recovery in Wireless Networks". Sensors 23, n.º 14 (12 de julio de 2023): 6347. http://dx.doi.org/10.3390/s23146347.
Texto completoVdovychenko, Ruslan y Vadim Tulchinsky. "Parallel Implementation of Sparse Distributed Memory for Semantic Storage". Cybernetics and Computer Technologies, n.º 2 (30 de septiembre de 2022): 58–66. http://dx.doi.org/10.34229/2707-451x.22.2.6.
Texto completoAlbert, Elvira, Nikolaos Bezirgiannis, Frank de Boer y Enrique Martin-Martin. "A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell*". Fundamenta Informaticae 177, n.º 3-4 (10 de diciembre de 2020): 203–34. http://dx.doi.org/10.3233/fi-2020-1988.
Texto completoPimentel-Niño, M. A., Paresh Saxena y M. A. Vazquez-Castro. "Reliable Adaptive Video Streaming Driven by Perceptual Semantics for Situational Awareness". Scientific World Journal 2015 (2015): 1–16. http://dx.doi.org/10.1155/2015/394956.
Texto completoMotzek, Alexander y Ralf Möller. "Indirect Causes in Dynamic Bayesian Networks Revisited". Journal of Artificial Intelligence Research 59 (27 de mayo de 2017): 1–58. http://dx.doi.org/10.1613/jair.5361.
Texto completoTesis sobre el tema "Semantics preserving modeling technique"
Cortés, Luis Alejandro. "A Petri Net based Modeling and Verification Technique for Real-Time Embedded Systems". Licentiate thesis, Linköping University, Linköping University, ESLAB - Embedded Systems Laboratory, 2001. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-5751.
Texto completoEmbedded systems are used in a wide spectrum of applications ranging from home appliances and mobile devices to medical equipment and vehicle controllers. They are typically characterized by their real-time behavior and many of them must fulfill strict requirements on reliability and correctness.
In this thesis, we concentrate on aspects related to modeling and formal verification of realtime embedded systems.
First, we define a formal model of computation for real-time embedded systems based on Petri nets. Our model can capture important features of such systems and allows their representations at different levels of granularity. Our modeling formalism has a welldefined semantics so that it supports a precise representation of the system, the use of formal methods to verify its correctness, and the automation of different tasks along the design process.
Second, we propose an approach to the problem of formal verification of real-time embedded systems represented in our modeling formalism. We make use of model checking to prove whether certain properties, expressed as temporal logic formulas, hold with respect to the system model. We introduce a systematic procedure to translate our model into timed automata so that it is possible to use available model checking ools. Various examples, including a realistic industrial case, demonstrate the feasibility of our approach on practical applications.
Athaiya, Snigdha. "Extending Program Analysis Techniques to Web Applications and Distributed Systems". Thesis, 2020. https://etd.iisc.ac.in/handle/2005/5523.
Texto completoHausmann, Jan Hendrik [Verfasser]. "Dynamic META modeling : a semantics description technique for visual modeling languages / Jan Hendrik Hausmann". 2005. http://d-nb.info/978511158/34.
Texto completoCapítulos de libros sobre el tema "Semantics preserving modeling technique"
Oluwagbemi, Oluwatolani y Hishammuddin Asmuni. "An Improved Model-Based Technique for Generating Test Scenarios from UML Class Diagrams". En Advances in Systems Analysis, Software Engineering, and High Performance Computing, 434–48. IGI Global, 2014. http://dx.doi.org/10.4018/978-1-4666-6026-7.ch019.
Texto completoShinde, Shweta Annasaheb y Prabu Sevugan. "Glorified Secure Search Schema Over Encrypted Secure Cloud Storage With a Hierarchical Clustering Computation". En Big Data Analytics for Satellite Image Processing and Remote Sensing, 72–98. IGI Global, 2018. http://dx.doi.org/10.4018/978-1-5225-3643-7.ch005.
Texto completoShinde, Shweta Annasaheb y Prabu Sevugan. "Glorified Secure Search Schema Over Encrypted Secure Cloud Storage With a Hierarchical Clustering Computation". En Cloud Security, 657–77. IGI Global, 2019. http://dx.doi.org/10.4018/978-1-5225-8176-5.ch033.
Texto completoAbirami A.M, Askarunisa A., Shiva Shankari R A y Revathy R. "Ontology Based Feature Extraction From Text Documents". En Applications of Security, Mobile, Analytic, and Cloud (SMAC) Technologies for Effective Information Processing and Management, 174–95. IGI Global, 2018. http://dx.doi.org/10.4018/978-1-5225-4044-1.ch009.
Texto completoActas de conferencias sobre el tema "Semantics preserving modeling technique"
Almeida, Joao Paulo A., Fernando A. Musso, Victorio A. Carvalho, Claudenir M. Fonseca y Giancarlo Guizzardi. "Preserving Multi-level Semantics in Conventional Two-Level Modeling Techniques". En 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, 2019. http://dx.doi.org/10.1109/models-c.2019.00025.
Texto completoZhao, Fangyuan, Xuebin Ren, Shusen Yang y Xinyu Yang. "On Privacy Protection of Latent Dirichlet Allocation Model Training". En Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}. California: International Joint Conferences on Artificial Intelligence Organization, 2019. http://dx.doi.org/10.24963/ijcai.2019/675.
Texto completoBarakat, M., W. Zahra y A. Elsaid. "A Modified Polynomial Preserving Recovery Technique". En 12th International Conference on Simulation and Modeling Methodologies, Technologies and Applications. SCITEPRESS - Science and Technology Publications, 2022. http://dx.doi.org/10.5220/0011263400003274.
Texto completoRafiq, Danish y Mohammad Abid Bazaz. "Structure Preserving Nonlinear Reduced Order Modeling Technique for Power Systems". En 2021 Seventh Indian Control Conference (ICC). IEEE, 2021. http://dx.doi.org/10.1109/icc54714.2021.9703187.
Texto completoLiu, Weiming, Chaochao Chen, Xinting Liao, Mengling Hu, Jianwei Yin, Yanchao Tan y Longfei Zheng. "Federated Probabilistic Preference Distribution Modelling with Compactness Co-Clustering for Privacy-Preserving Multi-Domain Recommendation". En Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}. California: International Joint Conferences on Artificial Intelligence Organization, 2023. http://dx.doi.org/10.24963/ijcai.2023/245.
Texto completoMassoni, Tiago, Rohit Gheyi y Paulo Borba. "Formal Refactoring for UML Class Diagrams". En Simpósio Brasileiro de Engenharia de Software. Sociedade Brasileira de Computação, 2005. http://dx.doi.org/10.5753/sbes.2005.23817.
Texto completoArisoy, Erhan Batuhan y Levent Burak Kara. "Topology Preserving Digitization of Physical Prototypes Using Deformable Subdivision Models". En ASME 2014 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2014. http://dx.doi.org/10.1115/detc2014-34390.
Texto completoKaneshiro, Percy Javier Igei, Jose´ Isidro Garcia Melo, Paulo E. Miyagi y Carlos E. Cugnasca. "Modeling of Collision Resolution Algorithm in LonWorks Networks". En ASME 2007 International Mechanical Engineering Congress and Exposition. ASMEDC, 2007. http://dx.doi.org/10.1115/imece2007-43950.
Texto completoFujimoto, Keiichiro y Kozo Fujii. "Study on the Automated CFD Analysis Tools for Conceptual Design of Space Transportation Vehicles". En ASME/JSME 2007 5th Joint Fluids Engineering Conference. ASMEDC, 2007. http://dx.doi.org/10.1115/fedsm2007-37128.
Texto completoTourlomousis, Filippos y Robert C. Chang. "2D and 3D Multiscale Computational Modeling of Dynamic Microorgan Devices as Drug Screening Platforms". En ASME 2015 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2015. http://dx.doi.org/10.1115/imece2015-52734.
Texto completo