Loading...
Dernières publications
-
Mathias Kautz, Badis Hammi, Joaquin Garcia-Alfaro. Platelet: Pioneering Security and Privacy Compliant Simulation for Intelligent Transportation Systems and V2X. The 22nd IEEE International Symposium on Network Computing and Applications (NCA 2024), Oct 2024, CEUB, Bertinoro (FC), Italy. pp.7. ⟨hal-04739382⟩
-
Asfand Yar, Akram Idani, Yves Ledru, Simon Collart-Dutilleul, Amel Mammar, et al.. An Iterative Formal Model-Driven Approach to Railway Systems Validation. 28th International Conference on Engineering of Complex Computer Systems (ICECCS), Jun 2024, Limassol (Chypre), Cyprus. pp.272 - 289, ⟨10.1007/978-3-031-66456-4_15⟩. ⟨hal-04731687⟩
Mots-clés
Formal methods
RFID
MANETs
Testing
Verification
Neural networks
Optimization
Data security
IMS
Blockchain
Resource allocation
Network security
Clustering
Energy efficiency
Scalability
Wireless networks
Trust
Intrusion detection
Routing
Sensors
NGN
Virtualization
Triplet Markov chains
Hidden Markov models
Performance
Compression
LTE
Formal verification
Distributed systems
Internet of things
Complexity
Sécurité
NFV
Context-awareness
Wireless sensor networks
Reinforcement learning
QoE
Sensor networks
Internet of Things
Augmented reality
Mobility
Energy consumption
WSN
Service composition
SIP
Classification
VANET
Software engineering
Modeling
MPEG
Authentication
Anomaly detection
Reputation
Biometrics
Artificial intelligence
Simulation
Interoperability
Cloud
P2P
Business process
Event-B
Indoor positioning
Performance analysis
Hidden Markov chains
Access control
Middleware
Machine learning
Ontology
Computer networks
Signal processing
Indoor localization
Data mining
SDN
Social media
Ubiquitous computing
Social networks
Ontologies
Privacy
Quality of service
Cloud computing
Performance evaluation
Optimisation
Internet des objets
Security
Context
Cryptography
Semantic web
Particle filtering
Augmented Reality
MPEG-4
Deep learning
Semantics
Passive testing
IoT
Monitoring
Model checking
Cloud Computing
5G
QoS
Web services
Nombre de documents
2 300
Nombre de notices
4 773
COLLABORATIONS
Evolution des dépôts