252 results on '"A. Hafaiedh"'
Search Results
2. On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation
3. A model-based approach for formal verification and performance evaluation of energy harvesting architectures in IoT systems: A case study of a long-term healthcare application
4. Study of the impact of SCIG Wind farm integration and the effect of the location bus in dynamic grid enhancement.
5. Formal models for the verification, performance evaluation, and comparison of IoT communication protocols.
6. A distributed formal-based model for self-healing behaviors in autonomous systems: from failure detection to self-recovery
7. Modelling and verification of reconfigurable fault-tolerant and self-recovering systems in hybrid Clouds
8. A model-based approach for formal verification and performance analysis of dynamic load-balancing protocols in cloud environment
9. Fuzzified Double Game for Qos-Aware LTE-U and Wifi Coexistence in 5Ghz Band.
10. WiFi/LTE learning based Qos-aware Coexistence.
11. Formal-Based Modeling and Analysis of a Network Communication Protocol for IoT: MQTT Protocol
12. Home telemonitoring of arterial hypertension versus usual care: the HOROSCOPE study (Preprint)
13. Canonical Coalition Game for Solving Wifi and LTE Coexistence Issues on the 5Ghz Band.
14. Entrepreneurial Behaviour and Effectuation: An Examination of Team Formation Processes
15. Home Telemonitoring of Arterial Hypertension With Antihypertensive Treatment Titration: Protocol for a Randomized Controlled Prospective Trial (HOROSCOPE Study)
16. A Parameterized Formal Model for the Analysis of Preemption-Threshold Scheduling in Real-Time Systems.
17. Implementing Distributed Controllers for Systems with Priorities
18. Performance Evaluation of Dynamic Load Balancing Protocols Based on Formal Models in Cloud Environments.
19. A generic formal model for the comparison and analysis of distributed job-scheduling algorithms in grid environment.
20. Formal modeling and verification of a wireless body area network (WBAN) protocol: S-TDMA protocol.
21. LTE-U and WiFi coexistence in the 5 GHz unlicensed spectrum: A survey.
22. Formal Distributed Model for the Verification of Job-Scheduling in Cloud Environments.
23. A formal model for the analysis and verification of a pre-emptive round-robin arbiter.
24. Formal-Based Modeling and Analysis of a Network Communication Protocol for IoT: MQTT Protocol
25. Fault Tolerant P2P RIA Crawling.
26. A Distributed Formal Model for the Analysis and Verification of Arbitration Protocols on MPSoCs Architecture.
27. Model-based Design and Formal Analysis of Arbitration Protocols on Multiple-Bus Architecture.
28. Cognitive Diversity Within Entrepreneurial Teams: Contingencies of Their Cost and Benefit
29. Formal-Based Design and Verification of SoC Arbitration Protocols: A Comparative Analysis of TDMA and Round-Robin.
30. Education, Earnings, and Returns to Schooling in Tunisia
31. A Scalable P2P RIA Crawling System with Partial Knowledge.
32. Tunisian Students Abroad : New Routes to Knowledge
33. Model-based design and distributed implementation of bus arbiter for multiprocessors.
34. Distributed Implementation of Systems with Multiparty Interactions and Priorities.
35. Iron oxide and oxygen plasma functionalized multi-walled carbon nanotubes for the discrimination of volatile organic compounds
36. Reasoning about Safety and Progress Using Contracts.
37. Performance Evaluation of Dynamic Load Balancing Protocols Based on Formal Models in Cloud Environments
38. Formal models for the verification, performance evaluation, and comparison of IoT communication protocols
39. Study of the impact of SCIG Wind farm integration and the effect of the location bus in dynamic grid enhancement
40. Supported protein G on gold electrode: Characterization and immunosensor application
41. Multi-walled carbon nanotubes for volatile organic compound detection
42. Building Distributed Controllers for Systems with Priorities.
43. Metamodels in Europe: Languages, Tools, and Applications.
44. Quantum confinement effects on energy gaps and electron and hole effective masses of quantum well AlN
45. Study of the Transport Properties of the Critical Binary Mixture Triethylamine − Water with an Ionic Impurity
46. A Distributed Formal Model for the Analysis and Verification of Arbitration Protocols on MPSoCs Architecture
47. Fault Tolerant P2P RIA Crawling
48. Electrochemical detection of d-dimer as deep vein thrombosis marker using single-chain d-dimer antibody immobilized on functionalized polypyrrole
49. Surface plasmon resonance immunosensor for bacteria detection
50. Study of the Transport Properties of the Critical Binary Mixture Triethylamine − Water with an Ionic Impurity
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.