Search
Search Results
-
Detailed Machine Specification
This chapter describes the procedure for the technical specification of a machine train or a machine unit. The development of the technical...
-
“Fixing” the Specification of Widenings
The development of parametric analysis tools based on Abstract Interpretation relies on a clean separation between a generic fixpoint approximation...
-
New Swiss technical specification SIA 2057 for glass structures and its post failure limit state concept
Until recently, designing and constructing with glass in Switzerland was not performed on a uniformly regulated basis due to the lack of a national...
-
Specification Languages: SystemC
We have studied various models extensively in the last chapter. We transformed real-world problems into different domains through appropriate models...
-
Towards Automatic Code Generation for Robotic Soccer Behavior Simulation
Multi-Agent Systems (MAS) are an Artificial Intelligence (AI) branch where agents handle distributed nature tasks in a cooperative system. MAS is...
-
SECRET: A New SECurity REquirements SpecificaTion Template
The growing number of software and hardware system attacks has made security a critical factor in their design. To guarantee the safety of the...
-
Formal Specification of a Team Formation Protocol
A high level specification provides the behavioral aspects of a protocol, i.e., the functional or logical properties. Such a specification should say...
-
Prediction of the grinding wheel specification influence on thermal defects in dry grinding through a hierarchical FEM model
Grinding represents an indispensable phase in a manufacturing route because it allows to obtain the final required features in terms of dimensions...
-
A Study on the Development of Driver Behavior Simulation Dummy for the Performance Evaluation of Driver Monitoring System
Driver monitoring system (DMS) was mainly developed to prevent accident risks by analyzing facial movements related to drowsiness and carelessness in...
-
Towards a Formal Specification and Automatic Execution of ETLs in Cross-organizational Business Processes
Small and medium-sized enterprises seize business opportunities jointly to be more concurrent on the market. They form virtual organizations with the...
-
Reverse-Engineering of Behavior-Based Robot Components
Robots perform a wide range of tasks, from exploring environments to holding conversations. The control systems of these robots are inherently...
-
Designs and Specification of Mechatronic Systems
Many technical processes and products in the area of mechanical and electrical engineering show increasing integration of mechanics with digital...
-
Specification
The normal design procedure for a balance, be it internal or external, is to first collect the design requirements, like the number of components,...
-
Formal Specification and Verification of Timing Behavior in Safety-Critical IoT Systems
Formal specification and verification of complex IoT systems’ behavior can efficiently improve the systems’ correctness and reliability. This paper...
-
Customizing Arduino LMiC Library Through LEAN and Scrum to Support LoRaWAN v1.1 Specification for Develo** IoT Prototypes
The release of LoRaWAN in 2015 introduced specification v1.0, which outlined its key features, implementation, and network architecture. However, the...
-
Runtime Verification of Spatio-Temporal Specification Language
Combining spatial and temporal primitives together is quite useful to specify dynamic behaviors of cyber-physical systems. The ability to represent...
-
A Multi-agent Specification for the Tetris Game
In the video game development industry, tasks related to design and specification require support to translate game features into implementations....
-
Investigation on Fracture Behavior of Electroslag Welding Joint with High-Performance Steel
This study aimed to investigate fracture behavior of electroslag welding (ESW) joint with 590-N/mm 2 class steel using numerical analysis, covering a...
-
Specification and Control of Human-Robot Handovers Using Constraint-Based Programming
This paper introduces a constraint-based specification of an object handover in order to simplify the implementation of reactive handover...
-
Token Trail Semantics – Modeling Behavior of Petri Nets with Labeled Petri Nets
There are different semantics for Petri nets. The behavior of a Petri net is either its set of enabled firing sequences, the reachability graph, a...