this systematic review explores the integration of neuroscience and education, focusing on physiological monitoring technologies such as Electrodermal Activity (EDA), Heart Rate (HR), and Skin Temperature (ST). these ...
详细信息
the world is changing at rapid rhythm, the rise of digital technologies such as big data, artificial intelligence, simulation… is creating drastic innovations and new opportunities for learning and development. this ...
详细信息
this paper analyzes the application of artificial intelligence (AI), with a particular focus on large language models (LLMs), in the domain of offensive security. the research aims to assess the potential of AI-assist...
详细信息
this special issue contains six revised and extended versions of tool papers that appeared in the proceedings of TACAS 2021, the 27thinternationalconference on tools and algorithms for the construction and analysis ...
详细信息
this special issue contains six revised and extended versions of tool papers that appeared in the proceedings of TACAS 2021, the 27thinternationalconference on tools and algorithms for the construction and analysis of systems. the issue is dedicated to the realization of algorithms in tools and the studies of the application of these tools for analysing hard- and software systems.
Automated techniques and tools for the construction and analysis of systems are inevitable to manage the complexity of the current systems. Such techniques and tools are the subject of interest of the international Co...
详细信息
Automated techniques and tools for the construction and analysis of systems are inevitable to manage the complexity of the current systems. Such techniques and tools are the subject of interest of the internationalconference on tools and algorithms for the construction and analysis of systems-TACAS. this special issue of Software tools for Technology Transfer presents extended versions of five selected papers from the 25th edition of TACAS that took place in 2019. All of the papers included into this special issue aim at various aspects of automated design and formal verification and hence contribute to development of more reliable computer systems.
In order to develop reliable software and systems, we depend on practical techniques for the construction and analysis of such software and systems. this special issue of Software tools for Technology Transfer present...
详细信息
In order to develop reliable software and systems, we depend on practical techniques for the construction and analysis of such software and systems. this special issue of Software tools for Technology Transfer presents various tool-supported techniques that can help withthe construction and analysis of such reliable software and systems. the papers in this special issue are extended versions of selected conference papers from the proceedings of the 24thinternationalconference on tools and algorithms for the construction and analysis of systems (TACAS 2018).
Due to the increasing complexity of software systems, there is a growing need for automated and scalable software synthesis and analysis. In the last decade, active research in the formal methods community brought int...
详细信息
Due to the increasing complexity of software systems, there is a growing need for automated and scalable software synthesis and analysis. In the last decade, active research in the formal methods community brought interesting results and valuable tools. However, there are still challenges to face and hard problems that need to be solved. We briefly outline some recent trends, and review some of the latest achievements, introducing six papers selected from the 20thinternationalconference on tools and algorithms for the construction and analysis of systems (TACAS 2014).
the application of formal methods in software development does not have to be an all-or-nothing proposition. Progress can be made withthe introduction of relatively unobtrusive techniques that simplify analysis. this...
详细信息
ISBN:
(纸本)9783642198342
the application of formal methods in software development does not have to be an all-or-nothing proposition. Progress can be made withthe introduction of relatively unobtrusive techniques that simplify analysis. this approach is meant replace traditional analysis-agnostic coding with an analysis-aware style of software development.
this paper describes a hybrid blackboard model designed for process planning of prismatic parts on CNC machine tools in a batch manufacturing environment. this hybrid blackboard model uses mixed-type reasoning to hand...
详细信息
this paper describes a hybrid blackboard model designed for process planning of prismatic parts on CNC machine tools in a batch manufacturing environment. this hybrid blackboard model uses mixed-type reasoning to handle feature interactions by combining the forward chaining for feature sequencing and the backward chaining for the combining the forward chaining for feature sequencing and the backward chaining for the construction of a process plan. In such a hybrid model, the human problem-solving strategies are decoupled from the tools for analysis and sorting algorithms. the central algorithm has four steps: (1) define the important information for features and feature-related concern;(2) prioritize, the given feature according to the given constraints and sorting guideline;(3) sequence the features;and (4) attach the needed operations to the features in machine/process/feature/set-up/tool/time/cost format.
Timing analysis is a key step in the design of dependable real-time embedded systems. In this paper, we present Game Time, a toolkit for execution time analysis of software. Game Time is based on a combination of game...
详细信息
ISBN:
(纸本)9783642198342
Timing analysis is a key step in the design of dependable real-time embedded systems. In this paper, we present Game Time, a toolkit for execution time analysis of software. Game Time is based on a combination of game-theoretic online learning and systematic testing using satisfiability modulo theories (SMT) solvers. In contrast with many existing tools for timing analysis, Game Time can be used for a range of tasks, including estimating worst-case execution time, predicting the distribution of execution times of a task, and finding timing-related bugs in programs. We describe key implementation details of Game Time and illustrate its usage through examples.
暂无评论