Search - IFIP Open Digital Library Access content directly

Filter your results

4 results
Structure: Internal structure identifier : 493678
Image document

Improving the Performance of Actor-Based Programs Using a New Actor to Thread Association Technique

Fahimeh Rahemi , Ehsan Khamespanah , Ramtin Khosravi
18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2018, Madrid, Spain. pp.122-136, ⟨10.1007/978-3-319-93767-0_9⟩
Conference papers hal-01824630v1
Image document

Delta Modeling and Model Checking of Product Families

Hamideh Sabouri , Ramtin Khosravi
5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.51-65, ⟨10.1007/978-3-642-40213-5_4⟩
Conference papers hal-01514656v1
Image document

Experiments with Face Recognition Using a Novel Approach Based on CVQ Technique

Arman Mehrbakhsh , Alireza Khalilian
8th International Conference on Artificial Intelligence Applications and Innovations (AIAI), Sep 2012, Halkidiki, Greece. pp.244-253, ⟨10.1007/978-3-642-33409-2_26⟩
Conference papers hal-01521417v1
Image document

Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional Specifications

Arvin Zakeriyan , Ramtin Khosravi , Hadi Safari , Ehsan Khamespanah
9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.199-214, ⟨10.1007/978-3-030-89247-0_14⟩
Conference papers hal-04074508v1