Filter your results
- 6
- 6
- 6
- 1
- 1
- 1
- 2
- 1
- 1
- 6
- 3
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
6 results
|
|
|
sorted by
|
|
|
Cloud Computing-Based Message Dissemination Protocol for Vehicular Ad Hoc Networks13th International Conference on Wired/Wireless Internet Communication (WWIC), May 2015, Malaga, Spain. pp.32-45, ⟨10.1007/978-3-319-22572-2_3⟩
Conference papers
hal-01728817v1
|
||
|
|
A Hierarchical Classification Model of QoE Influence Factors13th International Conference on Wired/Wireless Internet Communication (WWIC), May 2015, Malaga, Spain. pp.225-238, ⟨10.1007/978-3-319-22572-2_16⟩
Conference papers
hal-01728795v1
|
||
|
|
User to User QoE Routing System9th Wired/Wireless Internet Communications (WWIC), Jun 2011, Vilanova i la Geltrú, Spain. pp.362-373, ⟨10.1007/978-3-642-21560-5_30⟩
Conference papers
hal-01583650v1
|
||
|
|
Exploring Millions of 6-State FSSP Solutions: the Formal Notion of Local CA Simulation26th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Aug 2020, Stockholm, Sweden. pp.1-13, ⟨10.1007/978-3-030-61588-8_1⟩
Conference papers
hal-02605712v1
|
||
|
|
Efficient Operational Semantics for $ EB ^3$ for Verification of Temporal Properties5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.133-149, ⟨10.1007/978-3-642-40213-5_9⟩
Conference papers
hal-01514655v1
|
||
|
|
Computational Completeness of Networks of Evolutionary Processors with Elementary Polarizations and a Small Number of Processors19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.140-151, ⟨10.1007/978-3-319-60252-3_11⟩
Conference papers
hal-01657015v1
|