Treffer 1 - 20 von 90.685

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
Buch
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...
Fachzeitschrift
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
Konferenz
4

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
Fachzeitschrift
5

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
Fachzeitschrift
6

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
Fachzeitschrift
7

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
Fachzeitschrift
8

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)
Fachzeitschrift
9

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
Fachzeitschrift
10

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
Fachzeitschrift
11

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
Fachzeitschrift
12

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
Buch
13

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...
Buch
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
Fachzeitschrift
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
Fachzeitschrift
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
Fachzeitschrift
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...
Fachzeitschrift
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
Fachzeitschrift
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
Fachzeitschrift
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
Fachzeitschrift

Filter