Results 251 to 260 of about 303,309 (299)

Compilation of Id

2006
In this paper we illustrate, using the Id language, that both the operational semantics of a language and its compilation process can be formalized together. Id is a higher-order non-strict functional language augmented with I-structures and M-structures. The operational semantics of Id is given in terms of a smaller kernel language, called Kid. Kid is
Zena M. Ariola, Arvind 0001
openaire   +2 more sources

ILL-IDS: An Incremental Lifetime Learning IDS for VANETs

Computers and Security, 2023
Maode Ma, Yunfan Huang
exaly  

As-IDS: Anomaly and Signature Based IDS for the Internet of Things

Journal of Network and Systems Management, 2021
Amiya Nayak, Yazan Otoum
exaly  

Fantasy IDEs: Explorations in the IDE

This thesis introduces "Fantasy IDEs," a new paradigm for integrated development environments (IDEs) that reimagines coding as a performative, gestural practice. While existing approaches to making programming more accessible focus on simplification or visual abstraction, this work transforms the IDE itself into a medium for creative expression ...
openaire   +1 more source

Mobile ID

Datenschutz und Datensicherheit - DuD, 2014
Gisela Meister, Alexander Summerer
openaire   +2 more sources

FEDGAN-IDS: Privacy-Preserving IDS Using GAN and Federated Learning

Computer Communications, 2022
Aiman Erbad, Amr Mohamed, Mohsen Guizani
exaly  

GaDQN-IDS: A Novel Self-Adaptive IDS for VANETs Based on Bayesian Game Theory and Deep Reinforcement Learning

IEEE Transactions on Intelligent Transportation Systems, 2022
Xu Tan, Maode Ma, Junwei Liang
exaly  

A Review of Tabular Data Synthesis Using GANs on an IDS Dataset

Information (Switzerland), 2021
Terpsichori-Helen Velivassaki, Theodore Zahariadis, Stavroula Bourou   +2 more
exaly  

Ide-ide Pembaharuan Muhammad Iqbal

2008
Sebagai seorang pemikir orisinil, kebesaran Iqbal sesungguhnya terletak pada sikapnya yang bebas kritis dalam menghadapi alam pemikiran Timur dan Barat, baik yang ada kaitannya dengan Islam maupun tidak, yang Klasik maupun yang modern. Serta berusaha untuk mensintesakan unsur-unsur yang paling menonjol dari keduanya sehingga melahirkan suatu oksidasi ...
openaire   +1 more source

Monitoring IDS

Information Systems Security, 2004
openaire   +2 more sources