Výsledky vyhledávání - Verification Keywords JavaScript Analysis*
-
1
Autoři: a další
Zdroj: ISPRS International Journal of Geo-Information; Oct2025, Vol. 14 Issue 10, p382, 43p
Témata: GEOGRAPHIC spatial analysis, EVALUATION methodology, LANGUAGE models, SEMANTIC computing, JAVASCRIPT programming language, CODE generators
-
2
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— symbolic execution, testing tools General Terms Verification Keywords JavaScript, Dynamic Analysis, Concolic Testing
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.455.9073; http://srl.cs.berkeley.edu/~ksen/papers/jalangi.pdf
Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.455.9073
http://srl.cs.berkeley.edu/~ksen/papers/jalangi.pdf -
3
Autoři: a další
Zdroj: Electronics (2079-9292); Sep2025, Vol. 14 Issue 18, p3742, 25p
Témata: ACCESS control, WEB-based user interfaces, COMPUTER access control software, RISK assessment
-
4
Autoři: a další
Zdroj: ACM Transactions on Software Engineering & Methodology; May2025, Vol. 34 Issue 4, p1-33, 33p
-
5
Autoři: Nagineni, Srihari
Zdroj: Journal of Computer Science & Technology Studies; 2025, Vol. 7 Issue 8, p798-805, 8p
-
6
Autoři: a další
Zdroj: Dicle University Journal of Engineering / Dicle Üniversitesi Mühendislik Dergisi; eyl2025, Vol. 16 Issue 3, p611-623, 13p
-
7
Autoři:
Zdroj: ACM Transactions on Graphics; Aug2025, Vol. 44 Issue 4, p1-17, 17p
Témata: SPATIOTEMPORAL processes, FIRST-order logic, MOTION analysis, ANIMATION (Cinematography), MODELING languages (Computer science), COMPUTER-generated imagery
-
8
Autoři:
Zdroj: Electronics (2079-9292); Nov2025, Vol. 14 Issue 21, p4191, 23p
Témata: MACHINE learning, NATURAL language processing, ACQUISITION of data, SOCIAL network analysis, INFORMATION technology, INTERNET security
-
9
Autoři:
Zdroj: Computers (2073-431X); Jun2025, Vol. 14 Issue 6, p226, 49p
Témata: MACHINE learning, RESEARCH personnel, AUDITORS, CONTRACTS, VOTING, BLOCKCHAINS
-
10
Autoři: a další
Zdroj: Data (2306-5729); Nov2025, Vol. 10 Issue 11, p169, 12p
Témata: STRUCTURAL engineering, LANGUAGE models, REPRODUCIBLE research, NATURAL language processing, ACQUISITION of data, EARTHQUAKE resistant design
-
11
Autoři:
Zdroj: Programming & Computer Software; Aug2025, Vol. 51 Issue 4, p283-296, 14p
Témata: VERIFICATION of computer systems, MATHEMATICS software, COMPUTER software, CONFIRMATION (Logic), INFORMATION resources management
-
12
Autoři: a další
Zdroj: International Journal on Advanced Science, Engineering & Information Technology; 2024, Vol. 14 Issue 4, p1216-1225, 10p
Témata: ONLINE education, PROGRAMMING languages, QUANTITATIVE research, JAVASCRIPT programming language
-
13
Autoři:
Zdroj: Clinical Chemistry & Laboratory Medicine; Jul2025, Vol. 63 Issue 8, p1458-1471, 14p
Témata: DATA analysis, BIG data, PROGRAMMING languages, PREDICTION models, CHATGPT, DATA visualization, CLINICAL pathology, MATHEMATICAL statistics
-
14
Autoři:
Zdroj: Frontiers in Computer Science; 2025, p1-22, 22p
-
15
Autoři: a další
Zdroj: Foods; Jan2025, Vol. 14 Issue 2, p251, 42p
-
16
Autoři: a další
Zdroj: International Journal on Software Tools for Technology Transfer; Apr2025, Vol. 27 Issue 2, p289-307, 19p
Témata: SOFTWARE verification, VERDICTS, TRANSLATORS, GASES
-
17
-
18
Autoři: Mathew, Sunil George
Zdroj: Journal of Marketing Analytics; Dec2025, Vol. 13 Issue 4, p1157-1176, 20p
Geografický termín: INDIA
-
19
Autoři: a další
Zdroj: Applied Sciences (2076-3417); May2025, Vol. 15 Issue 10, p5519, 23p
Témata: SOFTWARE verification, SOFTWARE reliability, COMPUTER software quality control, MAINTAINABILITY (Engineering), COMPUTER software, BLOCKCHAINS
-
20
Autoři: a další
Přispěvatelé: a další
Témata: F.3.2 [Semantics of Programming Languages, Pro- gram analysis General Terms Languages, Algorithms, Verification Keywords JavaScript Analysis, Abstract Interpretation
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.673.3239; http://www.cs.ucsb.edu/%7Ebenh/research/papers/kashyap14jsai.pdf
Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.673.3239
http://www.cs.ucsb.edu/%7Ebenh/research/papers/kashyap14jsai.pdf