The proceedings contain 94 papers. The topics discussed include: a study of capacity planning for database management systems with OLAP workloads;Australia CMG best paper: data from the windows server family - what’s...
The proceedings contain 94 papers. The topics discussed include: a study of capacity planning for database management systems with OLAP workloads;Australia CMG best paper: data from the windows server family - what’s there and ways to get it out!;disk subsystem capacity management, based on business drivers, I/O performance metrics and MASF;from raw data to management reports – historical performance data made useful;LSPR (large scale processor reference) and its implications;measuring CPU time from hyper-threading enabled intel processors;performance modeling and evaluation of large-scale J2EE applications;switching hardware platforms: from Solaris to Linux and surviving!;UK CMG best paper: demand management - measuring the piece of string;and web load testing made easy: testing with WCAT and WAST for Windows applications.
The proceedings contain 22 papers. The special focus in this conference is on Engineering of Complex computersystems. The topics include: Automated Parameter Determination for Enhancing the Product Configur...
ISBN:
(纸本)9783031664557
The proceedings contain 22 papers. The special focus in this conference is on Engineering of Complex computersystems. The topics include: Automated Parameter Determination for Enhancing the Product Configuration System of Renault: An Experience Report;optimal Solution Guided Branching Strategy for Neural Network Branch and Bound Verification;AccMILP: An Approach for Accelerating Neural Network Verification Based on Neuron Importance;Word2Vec-BERT-bmu:Classification of RISC-V Architecture Software Package Build Failures;Test Architecture Generation by Leveraging BERT and Control and Data Flows;less is More: An Empirical Study of Undersampling Techniques for Technical Debt Prediction;modeling and Verification of Solidity Smart Contracts with the B Method;template-Based Smart Contract Verification: A Case Study on Maritime Transportation Domain;QuanSafe: A DTBN-Based Framework of Quantitative Safety Analysis for AADL Models;a Event-B-Based Approach for Schedulability Analysis For Real-Time Scheduling Algorithms through Deadlock Detection;Validation of RailML Using ProB;reachability Analysis of Concurrent Self-modifying Code;an Iterative Formal Model-Driven Approach to Railway systems Validation;an Efficient Distributed Dispatching Vehicles Protocol for Intersection Traffic Control;confidentiality Management in Complex systems Design;analyzing Excessive Permission Requests in Google Workspace Add-Ons;formal Verification Techniques for Post-quantum Cryptography: A Systematic Review;autoWeb: Automatically Inferring Web Framework Semantics via Configuration Mutation;safePtrX: Research on Mitigation of Heap-Based Memory Safety Violations for Intel x86-64;towards Efficiently Parallelizing Patch-Space Exploration in Automated Program Repair.
Amidst the swift progress of industrial automation and intelligence, electrical equipment, as a crucial piece of infrastructure, is essential for enhancing production efficiency and ensuring system reliability. This p...
详细信息
With an emphasis on data-driven approaches, this study investigates the use of the OSEMN framework-Obtain, Scrub, Explore, Model, and iNterpret-in several fields. The study emphasizes the modeling stage, which is wher...
详细信息
The proceedings contain 7 papers. The special focus in this conference is on Multi-Agent-Based Simulation. The topics include: GENSIMO - A Generic Framework for Modelling Social Insurance systems;are Low Emission...
ISBN:
(纸本)9783031880162
The proceedings contain 7 papers. The special focus in this conference is on Multi-Agent-Based Simulation. The topics include: GENSIMO - A Generic Framework for Modelling Social Insurance systems;are Low Emission Zones Effective in Reducing Emissions and Ambient Air Pollution?;teaching Agent-Based modeling for Simulating Social systems – A Research-Based Learning Approach;KEMASS: Knowledge-Enhanced Multi-agent simulation for energy Scheduling Support;inverse Generative Approach for Identifying Agent-Based Models from Stochastic Primitives.
The proceedings contain 25 papers. The special focus in this conference is on Modelling and Simulation for Autonomous systems. The topics include: Atlas Fusion 2.0 A ROS2 Based Real-Time Sensor Fusion Framework;UAS Fl...
ISBN:
(纸本)9783031713965
The proceedings contain 25 papers. The special focus in this conference is on Modelling and Simulation for Autonomous systems. The topics include: Atlas Fusion 2.0 A ROS2 Based Real-Time Sensor Fusion Framework;UAS Flight Path Optimization Model for Effective Monitoring and Surveillance of the Buffer Zone in the UNFICYP Peacekeeping Mission;A Model-Based Design Approach for a System of systems Based on an Integrated UAV Platform;practical Applicability of Tree Spacing Passability Analysis on Vehicle Path Planning;where to Go and How to Get There: Tactical Terrain Analysis for Military Unmanned Ground-Vehicle Mission Planning;a Survey of Trajectory Planning Algorithms for Off-Road Uncrewed Ground Vehicles;multi-physics and Multi-spectral Sensors Simulator for Autonomous Flight Functions Development;Conceptual Aspects of Counter-UAS Modelling and Simulation;challenges Associated with the Deployment of Autonomous Reconnaissance systems on Future Battlefields;The Key Challenges of SBAD M development of Geoprocessing Tool for Wet Gap Crossing in Military Operations;digital Twin modeling for Machine Vision Testing in Autonomous systems;a Situation Analysis Process in computer-Generated Forces Team Behavior Within Air Combat Simulations Under Risk and Uncertainty: Concept and First Implementations;a Tactical Planning Process in computer-Generated Forces Team Behavior Within Air Combat Simulations: Concept and First Implementations;survey on Sensing, Modelling and Reasoning Aspects in Military Autonomous systems;Camera Based AI Models Used with LiDAR Data for Improvement of Detected Object Parameters;the Analysis of Point Cloud Registration Methods for Natural Environment in Autonomous Driving;Hyperspectral Data Dimensionality Reduction: A Comparative Study Between PCA and Autoencoder Methods.
Smart contracts codify real-world transactions and automatically execute the terms of the contract when predefined conditions are met. This paper proposes SmartML, a modeling language for smart contracts tha...
详细信息
Free-space optical communication (FSOC), an innovative alternative, leverages the speed of light and the resilience of natural systems as an alternative to traditional wireless and fiber optic networks. The vast poten...
详细信息
We believe that project-based learning is one of the most effective tools for synthesizing and consolidating digital technologies and interactive teaching methods at a pedagogical university. modeling of students’ pr...
详细信息
Unauthorized or improperly constructed speed breakers on city roads are a major contributor to slow moving traffic and road accidents in developing nations, especially in rapidly urbanizing regions. The existing pract...
详细信息
暂无评论