.zip
This is the LVSiM simulator files
- Categories:
323 Views
We have included the code of protocol verification for ProVerif (in .pv format) and Scyther (in .spdl format) in the “Supplementary Materials” (Supplementary-Materials.pdf) of the revised manuscript. Essentially, the .pdf file of the “Supplementary Materials” includes: A. The source code for the protocol verifier Scyther (in .spdl format); and B. The source code for the protocol verifier ProVerif (in .pv format).
- Categories:
99 Views
image files and origin files for manuscript entitled "Effect of Solid Particles on the Loss Circulation of Drilling Fluid: A Numerical Simulation"
- Categories:
76 Views
This dataset is benchmark dataset we use in our research for Intrusion Detection System.
- Categories:
2237 Views
It is possible to construct "aerosol cytometers" based on different types of Zhulanov's laser aerosol counters | diffusion aerosol spectrometers (DAS) [1-8] and "hydrosol cytometers" based on hydrosol particle counters (adopted for ocean marine, ocean and hydrothermal conditions [9,10]).
- Categories:
453 Views
These datasets were generated in a computer network environment where eXfiltration Advanced Persistent Threats were launched against a number of high-value targets.
It is the alert log of the Security Onion SIEM which aggregates alerts from network and host-based intrusion detection systems that are securing the network environment.
- Categories:
336 Views
This folder contains the code and datasets necessary for performing experiments on the Steimann and Defects4J coverage matrices detailed in "Doric: Foundations for Statistical Fault Localisation". See the README.txt inside the folder for further details.
- Categories:
96 Views
There are two types of data: raw EEG data recorded from the Brain-Vision system and Mat file converted by BBCI-Tool Box.
- Categories:
239 Views
Supplementary material for article "An Efficient Meta-Heuristic for Multi-objective Flexible Job Shop Inverse Scheduling Problem"
- Categories:
2123 Views
The fifth-generation cellular networks (5G)has been proposed as a solution for the accelerating growth in data traffic. As part of 5G, millimetre-wave (mmWave) is suggested as one of the potential spectrum candidates due to the vastly available bandwidth. Accordingly, both indoor and outdoor propagation measurements on mmWave have been widely conducted over the recent years. These field measurements were heavily dependent on utilizing expensive channel-sounders and tools.
- Categories:
517 Views