Results 121 to 130 of about 2,084,052 (380)
Advancing Wildfire‐Retardant Materials: Engineering Strategies for Direct and Indirect Suppression
Advanced Engineering Materials, EarlyView.Here, the evolution, ecological impact, and performance of current fire‐retardant materials and suppression strategies are reviewed, offering an engineering perspective to address existing challenges and propose pathways for the development of more effective, scalable, and sustainable solutions to meet the demands of a changing climate. Wildfires cause
Changxin Dong +4 more
wiley +1 more source
Formal Specification in “Z” Language by Software Z/EVES
Advances in Electrical and Electronic Engineering, 2006 The paper shows a short overview of representation formalisms, which can be used for specification of technical system functional requirements. Some basic model schemas of function called User Identification of ITS are presented by formal specification ...
Josef Svec, Jiri Zahradnik
doaj
A formal system for the specification of the syntax and translation of computer languages [PDF]
, 1967 John J. Donovan, Henry Ledgard
openalex +1 more source
Formalizing structured file services for the data storage and retrieval subsystem of the data management system for Spacestation Freedom [PDF]
A brief example of the use of formal methods techniques in the specification of a software system is presented. The report is part of a larger effort targeted at defining a formal methods pilot project for NASA.
Jamsek, Damir A.
core +1 more source
Advanced Engineering Materials, EarlyView.A multimaterial approach is introduced to improve upon auxetic structures by combining two different polymers into the same reentrant honeycomb structure via additive manufacturing. The deformation behavior as well as the resulting Poisson's ratio are thereby improved significantly.
Alexander Engel +2 more
wiley +1 more source
Formal Specification Based Automatic Test Generation for Embedded Network Systems
Journal of Applied Mathematics, 2014 Embedded systems have become increasingly connected and communicate with each other, forming large-scaled and complicated network systems. To make their design and testing more reliable and robust, this paper proposes a formal specification language ...
Eun Hye Choi +7 more
doaj +1 more source
Compiler generation using formal specification of procedure-oriented and machine languages [PDF]
, 1967 Philip Gilbert, William G. McLellan
openalex +1 more source
Advanced Engineering Materials, EarlyView.This review explores wafer bonding technologies, covering wafer preparation, activation methods, and bonding mechanisms. It compares direct and indirect bonding, highlights recent advancements and future trends, and examines applications in 3D integration and packaging.
Abdul Ahad Khan +5 more
wiley +1 more source
On Formal Specification of Emergent Behaviours in Swarm Robotic Systems
International Journal of Advanced Robotic Systems, 2005 It is a characteristic of swarm robotics that specifying overall emergent swarm behaviours in terms of the low-level behaviours of individual robots is very difficult.
Alan FT Winfield +4 more
doaj +1 more source
Formal specification of fault-tolerance and its relation to computer security [PDF]
, 1989 Dorian Weber
openalex +1 more source