Search Results - "CCS Concepts Computing methodologies → Model verification and validation"

Exact Computation for Robust 3D polyhedral interactive modeling

Authors: Geniet, Florent Vallet, Bruno Bredif, Mathieu et al.

Contributors: Geniet, Florent Vallet, Bruno Bredif, Mathieu et al.

Source: Web3D '25: The 30th International Conference on 3D Web Technology ; https://hal.science/hal-05288439 ; Web3D '25: The 30th International Conference on 3D Web Technology, Sep 2025, Sienne, Italy. pp.1-9, ⟨10.1145/3746237.3746298⟩

Subject Terms: Computing methodologies → Model verification and validation, CCS Concepts, rational computation, exact computation, 3D building models, Mathematics 3D reconstruction, CCS Concepts Computing methodologies → Model verification and validation, [INFO]Computer Science [cs]

Subject Geographic: Sienne, Italy

Availability: https://hal.science/hal-05288439
https://hal.science/hal-05288439v1/document
https://hal.science/hal-05288439v1/file/article_exact_math.pdf
https://doi.org/10.1145/3746237.3746298

Rate Lifting for Stochastic Process Algebra by Transition Context Augmentation.

Authors: SOLTANIEH, AMIN SIEGLE, MARKUS

Source: ACM Transactions on Modeling & Computer Simulation; Jul2024, Vol. 34 Issue 3, p1-30, 30p

Subject Terms: STOCHASTIC processes, ALGEBRA, NONLINEAR equations, ENGINEERING models, REVERSE engineering

End-to-End Statistical Model Checking for Parameterization and Stability Analysis of ODE Models.

Authors: JULIEN, DAVID ARDOUREL, GILLES CANTIN, GUILLAUME et al.

Source: ACM Transactions on Modeling & Computer Simulation; Jul2024, Vol. 34 Issue 3, p1-25, 25p

Subject Terms: PARAMETERIZATION, STATISTICAL models, ORDINARY differential equations, NUMERICAL integration, BIOLOGICAL models, APPROXIMATION error

Early Validation and Verification of System Behaviour in Model-based Systems Engineering: A Systematic Literature Review.

Authors: Cederbladh, Johan Cicchetti, Antonio Suryadevara, Jagadish

Source: ACM Transactions on Software Engineering & Methodology; Mar2024, Vol. 33 Issue 3, p1-67, 67p

Subject Terms: SYSTEMS engineering, TECHNICAL literature, WORKFLOW, QUALITY control, SYSTEMS development, WORKFLOW software, SYSTEMS design, SYSTEM integration

Testing Causality in Scientific Modelling Software.

Authors: Clark, Andrew G. Foster, Michael Prifling, Benedikt et al.

Source: ACM Transactions on Software Engineering & Methodology; Jan2024, Vol. 33 Issue 1, p1-42, 42p

Subject Terms: COMPUTER software testing, SCIENTIFIC models, CAUSAL inference, VIRAL transmission, GALAXY formation, RESEARCH personnel

AgriTera: Accurate Non-Invasive Fruit Ripeness Sensing via Sub-Terahertz Wireless Signals.

Authors: Afzal, Sayed Saad Kludze, Atsutse Karmakar, Subhajit et al.

Source: MobiCom: International Conference on Mobile Computing & Networking; 2023, p1-15, 15p

Subject Terms: FRUIT ripening, FOOD waste, VALUE capture, FRUIT quality, VEGETABLE quality

Model-driven Cluster Resource Management for AIWorkloads in Edge Clouds.

Authors: LIANG, QIANLIN HANAFY, WALID A. ALI-ELDIN, AHMED et al.

Source: ACM Transactions on Autonomous & Adaptive Systems; Mar2023, Vol. 18 Issue 1, p1-26, 26p

Subject Terms: KNAPSACK problems, RESOURCE management, AUGMENTED reality, INTERNET of things, ARTIFICIAL intelligence

A unified evaluation framework for head motion prediction methods in 360° videos

Authors: Romero Rondon, Miguel Sassatelli, Lucile Aparicio-Pardo, Ramon et al.

Contributors: Romero Rondon, Miguel Sassatelli, Lucile Aparicio-Pardo, Ramon et al.

Source: Proceedings of the 11th ACM Multimedia Systems Conference. :279-284

Subject Terms: [INFO.INFO-MM] Computer Science [cs]/Multimedia [cs.MM], [INFO.INFO-CV] Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV], [INFO.INFO-NE] Computer Science [cs]/Neural and Evolutionary Computing [cs.NE], 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-LG] Computer Science [cs]/Machine Learning [cs.LG], 02 engineering and technology

File Description: application/pdf

Access URL: https://hal.archives-ouvertes.fr/hal-02615979/file/ODS2020_CR.pdf
https://hal.archives-ouvertes.fr/hal-02615979
https://dblp.uni-trier.de/db/conf/mmsys/mmsys2020.html#Romero-RondonSA20
https://doi.org/10.1145/3339825.3394934
https://hal.archives-ouvertes.fr/hal-02615979/document
https://dl.acm.org/doi/10.1145/3339825.3394934

Specification and Analysis of Human-Intensive System Resource-Utilization Policies.

Authors: Seung Yeob Shin Yuriy Brun Osterweil, Leon J.

Source: Proceedings of the International Workshop on Software Engineering in Healthcare Systems; 2016, p8-14, 7p

Bandwidth Measurements within the Cloud: Characterizing Regular Behaviors and Correlating Downtimes.

Authors: GARCÍA-DORADO, JOSÉ LUIS

Source: ACM Transactions on Internet Technology; Aug2017, Vol. 17 Issue 4, p39:1-39:25, 25p

Subject Terms: CLOUD computing, BANDWIDTHS, ANALYSIS of variance, INTERNET traffic, INTERNET users

Formal Model-Based Synthesis of Application-Specific Static RTOS.

Authors: TIGORI, KABLAND TOUSSAINT GAUTIER BÉCHENNEC, JEAN-LUC FAUCOU, SÉBASTIEN et al.

Source: ACM Transactions on Embedded Computing Systems; May2017, Vol. 16 Issue 4, p1-25, 25p

Subject Terms: EMBEDDED computer systems, REAL-time computing, COMPUTER operating systems, ELECTRONIC control, MOTHERBOARDS

Noise Reduction Automation of LiDAR Point Clouds for Modeling and Representation of High Voltage Lines in a 3D Virtual Globe

Authors: Agustín Trujillo José Miguel Santana José P. Suárez et al.

Contributors: Agustín Trujillo José Miguel Santana José P. Suárez et al.

Source: CEIG '18 Proceedings of the XXVIII Spanish Computer Graphics Conference. Madrid, Spain — June 27-29, 2018. The Eurographics Association p. 87-90
accedaCRIS portal de investigación de la Universidad de las Palmas de Gran Canaria
instname

Subject Terms: Computer graphics, based models, Visualización gráfica, Proceso de señal, 13. Climate action, 330499 Otras (especificar), 120399 Otras (especificar), 7. Clean energy, Model verification and validation, Computing methodologies, Point

Access URL: http://hdl.handle.net/10553/55449
https://dblp.uni-trier.de/db/conf/ceig/ceig2018.html#SantanaOSTS18
https://diglib.eg.org/handle/10.2312/ceig20181160
https://accedacris.ulpgc.es/handle/10553/55449