Results 201 to 210 of about 9,372,322 (243)
Some of the next articles are maybe not open access.
A Lightweight Honeynet Design In the Internet of Things
2022 IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), 2022Xiaoyu Du 0001 +3 more
openaire +2 more sources
Lightweight Diagramming for Lightweight Formal Methods: A Grounded Language Design (Artifact).
Dagstuhl Artifacts Ser.This artifact supports the paper “Lightweight Diagramming for Lightweight Formal Methods: A Grounded Language Design.” It provides an implementation of Cope and Drag (CnD), a lightweight diagramming language grounded in cognitive principles and a corpus analysis of existing visualizations.
Prasad, Siddhartha +3 more
openaire +2 more sources
Mix design and performance of lightweight ultra high-performance concrete
Materials and Design, 2022Peiliang Shen +2 more
exaly
Lightweight Diagramming for Lightweight Formal Methods: A Grounded Language Design.
Tools such as Alloy enable users to incrementally define, explore, verify, and diagnose specifications for complex systems. A critical component of these tools is a visualizer that lets users graphically explore generated models. As we show, however, a default visualizer that knows nothing about the domain can be unhelpful and can even actively violateSiddhartha Prasad +3 more
openaire +2 more sources
Reliability-based design for lightweight vehicle structures with uncertain manufacturing accuracy
Applied Mathematical Modelling, 2021Yong Zhang, Yanan Xu
exaly