检索结果-内蒙古大学图书馆

IEEE/ACM 11th international conference on Mobile Software Engineering and systems (MOBILESoft)

作者： dos Santos, Ezequiel Franca Univ Europeia IADE Fac Design Technol & Commun Lisbon Portugal

ISBN: (纸本)9798400705946

Rising complexity in iOS development necessitates robust dependency management tools, facilitating efficient integration of third-party and open-source libraries. this study explores current trends amongst iOS developers, focusing on their preferred tools, challenges encountered, and potential shifts in tool usage. A survey revealed Swift Package Manager (SPM) as the dominant choice (70.5%), valued for its user-friendliness and official support. However, performance concerns persist. CocoaPods usage declines (26.8%), prompting further investigation. Notably, 20.54% of developers have switched tools, highlighting potential dissatisfaction and a search for improved solutions. this study underscores the need for deeper analysis of developer preferences, tool-specific challenges, and the evolving dependency management landscape, paving the way for future tool development and best practices tailored to developer needs.

关键词： Software Dependency Management iOS Package Managers Swift Package Managers Developer Survey Software Development tools

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 11th international conference on Geographical Information systems theory, Applications and Management, GISTAM 2025

Proceedings of the 11th International Conference on Geograph...

引用

11th international conference on Geographical Information systems theory, Applications and Management, GISTAM 2025

ISBN: (纸本)9789897587412

the proceedings contain 36 papers. the topics discussed include: navigating points of interest: the dog-walker pathfinding algorithm;characterizing machine guidance in geospatial analysis;satellite images and spectral vegetation indices as auxiliary tools to monitoring fuel availability in areas prone to wildfire: study case in the northern region of Portugal;a luminance-based lane marking candidate quality assessment for autonomous driving in GIS contexts;person detection from UAV based on a dual transformer approach;preservation and protection of cultural heritage in high tourism areas using GIS technology: a case study of the medieval city of Rhodes;unsupervised image classification algorithms applied to fire-prone area detection;and planning delivery services: depot clustering based on socio economic indicators and geospatial metrics.

关键词：

来源：评论

学校读者我要写书评

暂无评论

State of the Art in Software Verification and Witness Validation: SV-COMP 2024 30th

State of the Art in Software Verification and Witness Valida...

引用

30th international conference on tools and algorithms for the construction and analysis of systems (TACAS) Held as Part of the 27th European Joint conferences on theory and Practice of Software (ETAPS)

作者： Beyer, Dirk Ludwig Maximilians Univ Munchen Munich Germany

ISBN: (纸本)9783031572555;9783031572562

the 13th edition of the Competition on Software Verification (SV-COMP 2024) was the largest competition of its kind so far: A total of 76 tools for verification and witness validation were compared. the competition evaluated 59 verification systems and 17 validation systems from 34 teams from 12 countries. this yields a good overview of the state of the art in tools for software verification. the competition was executed on a benchmark set with 30 300 verification tasks for C programs and 587 verification tasks for Java programs. the specifications again included reachability, memory safety, overflows, and termination. this year was the second time that the competition had an extra competition track on witness validation. We introduced a new witness format 2.0, and a new scoring schema for the validation track. All meta data about the verification and validation tools are available in the FM-tools repository.

关键词： Formal Verification Program analysis Competition Software Verification Verification Tasks Benchmark Specification Java Language C Language SV-COMP SV-Benchmarks BENCHEXEC COVERITEAM

来源：评论

学校读者我要写书评

暂无评论

A Literature Review of H-BIM Strategy for construction Maintenance 11th

A Literature Review of H-BIM Strategy for Construction Maint...

引用

11th international conference of Ar.Tec.

作者： Morganti, Caterina Bragadin, Marco Alvise Univ Bologna Alma Mater Studiorum Bologna Italy

ISBN: (纸本)9783031718694;9783031718670;9783031718663

Building maintenance planning strategy has always been of capital importance to improve building asset life cycle, and Building Information modelling can improve the efficiency of maintenance processes. the research work under this paper performed a literature review addressing the H-BIM strategy for building maintenance management and planning. Heritage Building Information Modeling H-BIM, is the application of the BIM strategy to the existing building stock, with the aim of creating a method and tools for building information acquisition and management. Actual implementation of H-BIM based strategy for building maintenance management aims at planning and controlling technical maintenance operations, also addressing environmental sustainability. Sustainable building maintenance mainly refers to materials and product re-use. therefore, in case of existing buildings without cultural value, building maintenance sustainability refers to the Design for Deconstruction problem and H-BIM can be used to improve End of Life sustainability. H-BIM contains all pieces of information available to minimize construction and Demolition Waste while deconstructing and reusing the building materials in a circular economy perspective. Digital Twin is the virtual replica of a built asset, that can support analysis, control and simulation functions with the objective of creating a Decision Support System for maintenance management. the use of sensor systems distributed within the building will become essential tools in the maintenance process. the owner will always be updated about building functions efficiency, and related maintenance requirements and operations. Even the model of use of the building can be designed and controlled, addressing specific living experiences of the users, the Building-Enabled lifestyle management.

关键词： H-BIM construction maintenance Facility management Digital Twin Building Information Modelling

来源：评论

学校读者我要写书评

暂无评论

Forensic implications of stacked file systems

引用

FORENSIC SCIENCE international-DIGITAL INVESTIGATION 2024年 48卷

作者： Hilgert, Jan-Niclas Lambertz, Martin Baier, Daniel Fraunhofer FKIE Zanderstr 5 D-53177 Bonn Germany

While file system analysis is a cornerstone of forensic investigations and has been extensively studied, certain file system classes have not yet been thoroughly examined from a forensic perspective. Stacked file systems, which use an underlying file system for data storage instead of a volume, are a prominent example. With the growth of cloud infrastructure and big data, it is increasingly likely that investigators will encounter distributed stacked file systems, such as MooseFS and the Hadoop File System, that employ this architecture. However, current standard models and tools for file system analysis fall short of addressing the complexities of stacked file systems. this paper highlights the forensic challenges and implications associated with stacked file systems, discussing their unique characteristics in the context of forensic analyses. We provide insights through three analyses of different stacked file systems, illustrating their operational details and emphasizing the necessity of understanding this file system category during forensic investigations. For this purpose, we present general considerations that must be made when dealing with the analysis of stacked file systems.

关键词： Storage forensics File systems Stacked file systems Distributed file systems moosefs Glusterfs Ecryptfs

来源：评论

学校读者我要写书评

暂无评论

On-the-Fly Algorithm for Reachability in Parametric Timed Games 30th

On-The-Fly Algorithm for Reachability in Parametric Timed Ga...

引用

作者： Dahlsen-Jensen, Mikael Bisgaard Fievet, Baptiste Petrucci, Laure van de Pol, Jaco Aarhus Univ Aarhus Denmark Univ Sorbonne Paris Nord CNRS UMR 7030 LIPN Villetaneuse France

ISBN: (纸本)9783031572555;9783031572562

Parametric Timed Games (PTG) are an extension of the model of Timed Automata. they allow for the verification and synthesis of real-time systems, reactive to their environment and depending on adjustable parameters. Given a PTG and a reachability objective, we synthesize the values of the parameters such that the game is winning for the controller. We adapt and implement the On-the-Fly algorithm for parameter synthesis for PTG. Several pruning heuristics are introduced, to improve termination and speed of the algorithm. We evaluate the feasibility of parameter synthesis for PTG on two large case studies. Finally, we investigate the correctness guarantee of the algorithm: though the problem is undecidable, our semi-algorithm produces all correct parameter valuations "in the limit".

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

Formalization of Biological Circuit Block Diagrams for Formally Analyzing Biomedical Control systems in pHRI Applications 11

Formalization of Biological Circuit Block Diagrams for Forma...

引用

11th international conference on Mechatronics and Robotics Engineering, ICMRE 2025

作者： Rashid, Adnan Abed, Sa'ed Hasan, Osman Islamabad Pakistan College of Engg. and Petroleum Kuwait University Computer Engg. Depertment Kuwait City Kuwait

ISBN: (纸本)9798331509293

the control of Biomedical systems in Physical Human-Robot Interaction (pHRI) plays a pivotal role in achieving the desired behavior by ensuring the intended transfer function and stability of subsystems within the overall system. Traditionally, the control aspects of biomedical systems have been analyzed using manual proofs and computer based analysis tools. However, these approaches provide inaccurate results due to human error in manual proofs and unverified algorithms and round-off errors in computer-based tools. We argue using Interactive reasoning, or frequently called theorem proving, to analyze control systems of biomedical engineering applications, specifically in the context of Physical Human- Robot Interaction (pHRI). Our methodology involves constructing mathematical models of the control components using Higher-order Logic (HOL) and analyzing them through deductive reasoning in the HOL Light theorem prover. We propose to model these control systems in terms of their block diagram representations, which in turn utlize the corresponding differential equations and their transfer function-based representation using the Laplace Transform (LT). these formally represented block diagrams are then analyzed through logical reasoning in the trusted environment of a theorem prover to ensure the correctness of the results. For illustration, we present a real-world case study by analyzing the control system of the utrafilteration dialysis process. © 2025 IEEE.

关键词： Laplace transforms

来源：评论

学校读者我要写书评

暂无评论

Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains 30th

Accurately Computing Expected Visiting Times and Stationary ...

引用

作者： Mertens, Hannah Katoen, Joost-Pieter Quatmann, Tim Winkler, Tobias Rhein Westfal TH Aachen Aachen Germany

ISBN: (纸本)9783031572487;9783031572494

We study the accurate and efficient computation of the expected number of times each state is visited in discrete- and continuous-time Markov chains. To obtain sound accuracy guarantees efficiently, we lift interval iteration and topological approaches known from the computation of reachability probabilities and expected rewards. We further study applications of expected visiting times, including the sound computation of the stationary distribution and expected rewards conditioned on reaching multiple goal states. the implementation of our methods in the probabilistic model checker Storm scales to large systems with millions of states. Our experiments on the quantitative verification benchmark set show that the computation of stationary distributions via expected visiting times consistently outperforms existing approaches - sometimes by several orders of magnitude.

关键词： Continuous time systems

来源：评论

学校读者我要写书评

暂无评论

Dissipative quadratizations of polynomial ODE systems 30th

Dissipative quadratizations of polynomial ODE systems

引用

作者： Cai, Yubo Pogudin, Gleb Inst Polytech Paris Ecole Polytech Palaiseau France Inst Polytech Paris Ecole Polytech CNRS LIX Palaiseau France

ISBN: (纸本)9783031572487;9783031572494

Quadratization refers to a transformation of an arbitrary system of polynomial ordinary differential equations to a system with at most quadratic right-hand side. Such a transformation unveils new variables and model structures that facilitate model analysis, simulation, and control and offer a convenient parameterization for data-driven approaches. Quadratization techniques have found applications in diverse fields, including systems theory, fluid mechanics, chemical reaction modeling, and mathematical analysis. In this study, we focus on quadratizations that preserve the stability properties of the original model, specifically dissipativity at given equilibria. this preservation is desirable in many applications of quadratization including reachability analysis and synthetic biology. We establish the existence of dissipativity-preserving quadratizations, develop an algorithm for their computation, and demonstrate it in several case studies.

关键词： differential equations quadratization stability variable transformation

来源：评论

学校读者我要写书评

暂无评论

Proceedings - 2024 11th international conference on Dependable systems and their Applications, DSA 2024

Proceedings - 2024 11th International Conference on Dependab...

引用

11th international conference on Dependable systems and their Applications, DSA 2024

ISBN: (纸本)9798331532390

the proceedings contain 56 papers. the topics discussed include: research on data augmentation methods for small sample image datasets;virtualized TCP/IP protocol stack based on VxWorks;an analysis and comparison of mutation testing tools for python;survey on simulation testing of autonomous driving system;automated structural test case generation for human-computer interaction software based on large language model;distributed spectrum sensing structure design based on distributed deep neural network;a reliable extrapolative capacity estimation method for complex distributed web services;a time-aware recommendation model with social impact;and a quantitative evaluation approach for online review quality based on the AHP-fuzzy comprehensive evaluation.

关键词：

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：