*sublabel_EDS*

*custom_text_above_search_result**custom_text_above_search_result_EDS*

*Showing* 1 - 20 *of* 90*number_thousands_separator*668

1

Facilitating Cryptojacking Through Internet Middle Boxes
Harish, R ; Kumar, AA ; Kumar, VA ; et al.

Electronics and Electric... Computer Programming and... Cybernetics Artificial Intelligence... info envir
*Book*
2

ATP: Adaptive Tuning Protocol for Service Discovery in Internet of Things
Qasem, Mamoun ; Al-Dubai, Ahmed ; Imed, Romdhani ; et al.

ATP adaptive tuning protocol computer algorithms computer programming and... cybsersecurity 005.4 Systems programmin...
*Academic Journal*
3

Scale estimation of monocular SLAM using direct acceleration pair measurements
Yathirajam, B ; Vaitheeswaran, SM ; Ananda, CM

Avionics & Aircraft Inst... Electronics and Electric... Computer Programming and... stat info
*Conference*
4

Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors
Barringer, Howard ; Falcone, Ylies ; Havelund, Klaus ; et al.
Lecture Notes in Computer Science ISBN: 9783642327582
Barringer, H, Falcone, Y, Havelund, K, Reger, G & Rydeheard, D 2012, Quantified event automata: Towards expressive and efficient runtime monitors. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. vol. 7436, pp. 68-84, 18th International Symposium on Formal Methods, FM 2012, Paris, 1/07/12. https://doi.org/10.1007/978-3-642-32759-9_9

quantified specification... trace analysis Computer Programming and... state machines data parameterization finite automata
*Book*
5

TraceContract: A Scala DSL for Trace Analysis
Barringer, Howard ; Havelund, Klaus
Lecture Notes in Computer Science ISBN: 9783642214363
Barringer, H & Havelund, K 2011, TraceContract: A scala DSL for trace analysis. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. vol. 6664, Lecture Notes in Computer Science, Springer Nature, pp. 57-72, 17th International Symposium on Formal Methods, FM 2011, Limerick, 1/07/11. https://doi.org/10.1007/978-3-642-21437-0_7

Computer Programming and... log file analysis Scala programming langua... Domain Specific Language...
*Book*
6

Magnitude Square Coherence (MSC) Estimation via an ARMA Model Based on Analytic DCT and Group Delay.
Roopa, S ; Narasimhan, SV

Communications and Radar Electronics and Electric... Computer Programming and... info manag
*Academic Journal*
7

Semi-Automated Processing of Trajectory Simulator Output Files for Model Evaluation
Cogan,J L ; US Army Research Laboratory Adelphi United States

Computer Programming and... Guns Meteorology ARTILLERY trajectories SIMULATORS
*Academic Journal*
8

FORMAL MODELING, MONITORING, AND CONTROL OF EMERGENCE IN DISTRIBUTED CYBER PHYSICAL SYSTEMS
Johnson,Taylor T ; University of Texas at Arlington Arlington United States

Computer Programming and... Computer Systems Managem... MACHINE LEARNING AUTONOMOUS MACHINE BEHAV... MULTIAGENT SYSTEMS DRONES
*Academic Journal*
9

Coupling Considerations in Assembly Language. Revision 1
Cantone,Anthony S ; Naval Air Warfare Center Weapons Division China Lake United States

Computer Programming and... ASSEMBLY LANGUAGES C PROGRAMMING LANGUAGE difference equations information exchange cohesion
*Academic Journal*
10

Coupling Considerations in Assembly Language
Cantone,Anthony S ; Naval Air Warfare Center Weapons Division China Lake United States

Computer Programming and... assembly languages coding requirements navy hol(high order language)
*Academic Journal*
11

US Army Research Laboratory Visualization Framework Architecture Document
Hsieh,Chien ; Toth,Andrew ; US Army Research Laboratory Adelphi United States

Information Science Computer Programming and... DATA VISUALIZATION COMPUTER ARCHITECTURE MESSAGE PROCESSING experimentation
*Academic Journal*
12

The Job Assessment Software System (JASS) and a Strategy for Integrating Output into the Improved Performance Research Integration Tool (IMPRINT)
Sargent, Robert ; Plott,Beth ; Garneau,Christopher ; et al.

Personnel Management and... Computer Programming and... Psychology performance(human) skills software tools
*Academic Journal*
13

Application Development for Optimizing Patient Placement on Aeromedical Evacuation Flights: Proof-of-Concept
Fouts,Brittany ; Serres,Jennifer ; Hill,Ray ; et al.

Computer Programming and... AEROMEDICAL EVACUATION airframes patients flight crews medical equipment
*Academic Journal*
14

An Interactive Visualization Framework to Support Exploration and Analysis of TBI/PTSD Clinical Data
Caban, Jesus ; The Geneva Foundation Tacoma United States

Computer Programming and... Medicine and Medical Res... Biomedical Instrumentati... Data Visualization OPEN SOURCE SOFTWARE brain injuries
*Academic Journal*
15

Modeling Quantum Teleportation with Quantum Tools in Python (QuTiP)
Hager ,M G ; Kirby,B T ; Brodsky,M ; et al.

Computer Programming and... Quantum Theory and Relat... QUANTUM INFORMATION computer programs QUANTUM THEORY quantum computing
*Academic Journal*
16

Re-Construction of Reference Population and Generating Weights by Decision Tree
Wan,Wei ; DEFENSE EQUAL OPPORTUNITY MANAGEMENT INST PATRICK AFB FL United States

Cybernetics Computer Programming and... Statistics and Probabili... expert systems errors surveys
*Academic Journal*
17

SECURE MATHEMATICALLY- ASSURED COMPOSITION OF CONTROL MODELS
Cofer,Darren ; Backes,John ; Gacek,Andrew ; et al.

Computer Programming and... Computer Systems Managem... denial of service attack cyberattacks computer access control COMPUTER PROGRAM VERIFIC...
*Academic Journal*
18

Terra Defender Cyber-Physical Wargame
Colbert,Edward J ; Sullivan,Daniel J ; Patrick,John C ; et al.

Computer Programming and... Military Operations Strategy and Tactics war games cyberattacks data acquisition
*Academic Journal*
19

Closing the Gap: Cybersecurity for U.S. Forces and Commands
Ferguson,Andrew T ; NATIONAL DEFENSE UNIV NORFOLK VA NORFOLK United States

Military Forces and Orga... Computer Systems Managem... Computer Programming and... computer security national security military organizations
*Academic Journal*
20

High Performance Computing Modernization Program Kerberos Throughput Test Report
Gdula,Daniel G ; Molnar,Joseph A ; NAVAL RESEARCH LAB WASHINGTON DC WASHINGTON United States

Computer Programming and... Computer Systems Managem... high performance computi... computing system archite... information operations simulations
*Academic Journal*

*Filter*