Dernières publications

Mots clés

Ethereum Natural language processing Code stylometry Adversarial attacks Argumentation Dataset Chiffrement Complexity Sensors Stack Cache Cloud Computing Software supply chain Reinforcement learning Criticality nuclear fission Timing Attack Graphs Autonomous driving systems Reproducibility Intrusion Detection System Cloud computing Privacy Agent organisations Internet of Things Adversarial machine learning Computer architecture Auctions Autonomic Computing Blockchain Survey Computer systems organization → Embedded and cyber-physical systems Open source software Open source Algorithms Cyber-physical systems Computer systems organization → Real-time systems Software Heritage AADL Embedded Systems Embedded systems Software heritage GAN Computing methodologies → Planning and scheduling Scheduling DRAM Network security Conferences 2012 ACM Subject Classification Computer systems organization → Embedded and cyber-physical systems AADL/ALISA Access control Threat propagation Cybersecurity Sabotage Games Automata Runtime Cryptography and Security csCR Smart home Architecture Functional package management Logics in Games Formal Verification Machine learning Complexity theory Formal methods Games Real-time systems Memory Controller Authentication Commit Byzantine fault tolerance Critical systems Consensus Community Maison intelligente Cyber-Physical Systems Lattice agreement ATL Software engineering Commit messages Security Scalability Conception de services Autonomic computing Observers Auditability Game theory Real-Time Systems Deep learning Design and analysis of algorithms DVFS Autonomous vehicles Coq Source code Code generation Version control systems Systematic mapping study Copyright Computational modeling Diversity Asynchronous Affine tasks

 

 

 

 

Documents avec texte intégral

203

Références bibliographiques

320

Open access

51 %

Collaborations par pays