devising

  1. Home
  2. search page
  3. keyword

devising

정의: 정의를 찾을 수 없습니다.

📄 키워드 상세정보

핵심 연구 분야Software Development
주요 연도2024년
주요 연관 키워드encryption
좋아요 수0

키워드별 논문 목록 (8건)

Compiler Fuzzing in Continuous Integration: A Case Study on Dafny
저자: Karnbongkot Boonriong , Stefan Zetzsche , Alastair F. Donaldson
키워드: #software #workflow #programming #devising #compiler
파트: Software Development | 연도: 2025
Do Agile scaling approaches make a difference? an empirical comparison of team effectiveness across popular scaling approaches
저자: Christiaan Verwijs , Daniel Russo
키워드: #challenge #methodologies #hard #organizational #devising
파트: Software Development | 연도: 2024
The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography
저자: Philipp G Haselwarter , Benjamin Salling Hvass , Lasse Letager Hansen , Théo Winterhalter , Catalin Hritcu , Bas Spitters
키워드: #encryption #cryptography #cryptographic #devising #maturing
파트: Verification | 연도: 2024
Parallel and Distributed Architecture for Multilingual Open Source Intelligence Systems
저자: Alper Karamanlioglu , Gokhan Yurtalan , Yahya Bahadir Karatas
키워드: #proliferation #transforming #scalability #multilingual #devising
파트: Databases | 연도: 2024
Big OLAP Data Cube Compression Algorithms in Column-Oriented Cloud/Edge Data Infrastructures
저자: Alfredo Cuzzocrea
키워드: #algorithms #analytics #innovative #devising #cube
파트: Databases | 연도: 2023
A Survey on Cyber Situation-awareness Systems: Framework, Techniques, and Insights
저자: Hooman Alavizadeh , Julian Jang-Jaccard , Simon Yusuf Enoch , Harith Al-Sahaf , I. S. Welch , Seyit A. Camtepe , Dong Dongseong Kim
키워드: #cyber #attacks #threats #cyberspace #devising
파트: Strategies | 연도: 2022
Bitstream Reverse Engineering of Microsemi’s VersaTile-based FPGAs
저자: Yongseen Kim , Eun-Gu Jung , ChangKyun Kim
키워드: #algorithmic #encryption #cryptographic #trojans #devising
파트: Analysis | 연도: 2021
Leveraging natural-language requirements for deriving better acceptance criteria from models
저자: Alvaro Veizaga , Mauricio Alférez , Damiano Torre , Mehrdad Sabetzadeh , Lionel Claude Briand , Elene Pitskhelauri
키워드: #experts #analysts #testing #devising #modelers
파트: Verification | 연도: 2020