Zobrazeno 1 - 10
of 23
pro vyhledávání: '"David Hardin"'
Autor:
David Hardin, Konrad Slind
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 280, Iss Proc. ACL2 2018, Pp 61-76 (2018)
Verification of algorithms and data structures utilized in modern autonomous and semi-autonomous vehicles for land, sea, air, and space presents a significant challenge. Autonomy algorithms, e.g., route planning, pattern matching, and inference, are
Externí odkaz:
https://doaj.org/article/951501b4ebf14c3199747a923195b464
Autor:
David Hardin
Publikováno v:
ACM SIGAda Ada Letters. 42:55-61
Zero Trust Architecture requirements are of increasing importance in critical systems development. Zero trust tenets hold that no implicit trust be granted to assets based on their physical or network location. Zero Trust development focuses on authe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0e41e8a59696ccdf23dbe6018bc04290
https://doi.org/10.1145/3591335.3591340
https://doi.org/10.1145/3591335.3591340
Autor:
Darren Cofer, Isaac Amundson, Junaid Babar, David Hardin, Konrad Slind, Perry Alexander, John Hatcliff, null Robby, Gerwin Klein, Corey Lewis, Eric Mercer, John Shackleton
Publikováno v:
IEEE Security & Privacy. 20:52-64
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d843a3f07487fabbfd1e5052baddc774
https://doi.org/10.1109/msec.2022.3151733
https://doi.org/10.1109/msec.2022.3151733
Publikováno v:
SAE Technical Paper Series.
Zero trust (ZT) is an emerging initiative that focuses on securely providing access to resources based on defined policies. The core tenet of ZT is “never trust, always verify”, meaning that even within trusted zones of operation, resource access
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c4c3eaf4b5e72a8242441f8cd6f1dd93
https://doi.org/10.4271/2023-01-1001
https://doi.org/10.4271/2023-01-1001
Autor:
David Hardin
Publikováno v:
Electronic Proceedings in Theoretical Computer Science. 327:142-145
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::aad74c00c934143004f46c193a6fe8e3
https://doi.org/10.4204/eptcs.327.13
https://doi.org/10.4204/eptcs.327.13
Autor:
Jason Belt, John Hatcliff, null Robby, John Shackleton, Jim Carciofini, Todd Carpenter, Eric Mercer, Isaac Amundson, Junaid Babar, Darren Cofer, David Hardin, Karl Hoech, Konrad Slind, Ihor Kuz, Kent Mcleod
Publikováno v:
Journal of Systems Architecture. 134:102789
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bf6b5d28f99254a4a51372f5ee0a6a38
https://doi.org/10.1016/j.sysarc.2022.102789
https://doi.org/10.1016/j.sysarc.2022.102789
Autor:
David Hardin
In the market of operating systems for mobile applications, only Android and iOS can be seriously considered now, because devices running other operating systems are lost within the mathematical error. If we consider these two platforms, the leading
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::840138a7d6ad37b0a8b9e977fc0f4b68
Autor:
David Harding-Larsen, Christian Degnbol Madsen, David Teze, Tiia Kittilä, Mads Rosander Langhorn, Hani Gharabli, Mandy Hobusch, Felipe Mejia Otalvaro, Onur Kırtel, Gonzalo Nahuel Bidart, Stanislav Mazurenko, Evelyn Travnik, Ditte Hededam Welner
Publikováno v:
ACS Omega, Vol 9, Iss 25, Pp 27278-27288 (2024)
Externí odkaz:
https://doaj.org/article/cef995bb08f94e21a60a140433bd70f3
Autor:
Brian Forsythe, Derrick M. Knapik, Matthew D. Crawford, Connor C. Diaz, David Hardin, John Gallucci, Holly Jacinda Silvers-Granelli, Bert R. Mandelbaum, Lawrence Lemak, Margot Putukian, Eric Giza
Publikováno v:
Orthopaedic journal of sports medicine, vol 10, iss 3
Background: Despite an abundance of injury research focusing on European professional soccer athletes, there are limited injury data on professional soccer players in the United States. Purpose: To describe the epidemiology of injury across multiple
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::013d502ef20b123967f7e9341d6e5721
https://pubmed.ncbi.nlm.nih.gov/35360881
https://pubmed.ncbi.nlm.nih.gov/35360881
Autor:
David Hardin
Standpipe is a brief, elegant memoir of the author's work as a Red Cross volunteer delivering emergency water to residents of Flint, Michigan. A collection of short essays and vignettes, Standpipe sets the struggles of a city in crisis against the au