Search - IFIP Open Digital Library Access content directly

Filter your results

28 results
Structure: Internal structure identifier : 301046
Image document

Home Healthcare Routing and Scheduling Problem During the COVID-19 Pandemic

Fatemeh Taghipour , Reza Tavakkoli-Moghaddam , Maryam Eghbali-Zarch
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2021, Nantes, France. pp.373-382, ⟨10.1007/978-3-030-85902-2_40⟩
Conference papers hal-04117668v1
Image document

ANOVA Based Approch for Efficient Customer Recognition: Dealing with Common Names

Morteza Saberi , Zahra Saberi
4th IFIP International Conference on Artificial Intelligence in Theory and Practice (AI 2015), Oct 2015, Daejeon, South Korea. pp.64-74, ⟨10.1007/978-3-319-25261-2_6⟩
Conference papers hal-01383957v1
Image document

Collecting Users Profiles for Web Applications

Amin Rasooli , Peter Forbrig , Fattaneh Tagivareh
4th International Conference on Human-Centered Software Engineering (HCSE), Oct 2012, Toulouse, France. pp.275-282, ⟨10.1007/978-3-642-34347-6_18⟩
Conference papers hal-01556822v1
Image document

Automatic Transition System Model Identification for Network Applications from Packet Traces

Zeynab Sabahi-Kaviani , Fatemeh Ghassemi , Fateme Bajelan
7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.212-227, ⟨10.1007/978-3-319-68972-2_14⟩
Conference papers hal-01760863v1
Image document

Integrated Workforce Allocation and Scheduling in a Reconfigurable Manufacturing System Considering Cloud Manufacturing

Behdin Vahedi-Nouri , Reza Tavakkoli-Moghaddam , Zdenek Hanzalek , Alexandre Dolgui
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2021, Nantes, France. pp.535-543, ⟨10.1007/978-3-030-85902-2_57⟩
Conference papers hal-04117630v1
Image document

Modeling and Efficient Verification of Broadcasting Actors

Behnaz Yousefi , Fatemeh Ghassemi , Ramtin Khosravi
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.69-83, ⟨10.1007/978-3-319-24644-4_5⟩
Conference papers hal-01446611v1
Image document

IS Research Theoretical Foundation: Theories Used and the Future Path

Nastaran Hajiheydari , Mohammad Soltani Delgosha , Mojtaba Talafidaryani
13th International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS), Dec 2019, Prague, Czech Republic. pp.24-39, ⟨10.1007/978-3-030-37632-1_3⟩
Conference papers hal-03408373v1
Image document

Formal Modeling and Analysis of Medical Systems

Mahsa Zarneshan , Fatemeh Ghassemi , Marjan Sirjani
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.386-402, ⟨10.1007/978-3-030-50029-0_24⟩
Conference papers hal-03273989v1
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

Sustainable Facility Location-Routing Problem for Blood Package Delivery by Drones with a Charging Station

Shirin Ghasemi , Reza Tavakkoli-Moghaddam , Mahdi Hamid , Meysam Hosseinzadeh
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2021, Nantes, France. pp.3-14, ⟨10.1007/978-3-030-85906-0_1⟩
Conference papers hal-04022139v1
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
Image document

A Threshold Based Dynamic Routing for Jobs with QoS Ranking

Seyed Behrouz Khodadadi , Jafar Razmi
9th IFIP WG 5.5 International Conference on Balanced Automation Systems for Future Manufacturing Networks (BASYS), Jul 2010, Valencia, Spain. pp.137-144, ⟨10.1007/978-3-642-14341-0_16⟩
Conference papers hal-01060717v1
Image document

Robust Hybrid TFET-MOSFET Circuits in Presence of Process Variations and Soft Errors

Maedeh Hemmat , Mehdi Kamal , Ali Afzali-Kusha , Massoud Pedram
24th IFIP/IEEE International Conference on Very Large Scale Integration - System on a Chip (VLSISOC), Sep 2016, Tallinn, Estonia. pp.41-59, ⟨10.1007/978-3-319-67104-8_3⟩
Conference papers hal-01675198v1
Image document

Combining Machine and Automata Learning for Network Traffic Classification

Zeynab Sabahi-Kaviani , Fatemeh Ghassemi , Zahra Alimadadi
3rd International Conference on Topics in Theoretical Computer Science (TTCS), Jul 2020, Tehran, Iran. pp.17-31, ⟨10.1007/978-3-030-57852-7_2⟩
Conference papers hal-03165385v1
Image document

Agricultural Service Center Location Problem: Concept and a MCDM Solution Approach

Morteza Zangeneh , Peter Nielsen , Asadolah Akram , Alireza Keyhani
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2014, Ajaccio, France. pp.611-617, ⟨10.1007/978-3-662-44736-9_74⟩
Conference papers hal-01387940v1
Image document

A Bi-objective Scheduling Model for Additive Manufacturing with Multiple Materials and Sequence-Dependent Setup Time

Reza Tavakkoli-Moghaddam , Shadi Shirazian , Behdin Vahedi-Nouri
IFIP International Conference on Advances in Production Management Systems (APMS), Aug 2020, Novi Sad, Serbia. pp.451-459, ⟨10.1007/978-3-030-57997-5_52⟩
Conference papers hal-03635659v1
Image document

Designing a Genetic Algorithm to Solve an Integrated Model in Supply Chain Management Using Fuzzy Goal Programming Approach

M. Rostami N. K.I , Jafar Razmi , F. Jolai
9th IFIP WG 5.5 International Conference on Balanced Automation Systems for Future Manufacturing Networks (BASYS), Jul 2010, Valencia, Spain. pp.168-176, ⟨10.1007/978-3-642-14341-0_20⟩
Conference papers hal-01060721v1
Image document

Purpose-Based Policy Enforcement in Actor-Based Systems

Shahrzad Riahi , Ramtin Khosravi , Fatemeh Ghassemi
7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.196-211, ⟨10.1007/978-3-319-68972-2_13⟩
Conference papers hal-01760856v1
Image document

Optimizing Humanitarian Aids: Formulating Influencer Advertisement in Social Networks

Masoud Salehi , Arman Goudarzi , Nastaran Hajiheydari
19th Working Conference on Virtual Enterprises (PRO-VE), Sep 2018, Cardiff, United Kingdom. pp.101-110, ⟨10.1007/978-3-319-99127-6_9⟩
Conference papers hal-02191169v1
Image document

Model Checking MANETs with Arbitrary Mobility

Fatemeh Ghassemi , Saeide Ahmadi , Wan Fokkink , Ali Movaghar
5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.217-232, ⟨10.1007/978-3-642-40213-5_14⟩
Conference papers hal-01514658v1
Image document

Finite Interval-Time Transition System for Real-Time Actors

Shaghayegh Tavassoli , Ramtin Khosravi , Ehsan Khamespanah
3rd International Conference on Topics in Theoretical Computer Science (TTCS), Jul 2020, Tehran, Iran. pp.85-100, ⟨10.1007/978-3-030-57852-7_7⟩
Conference papers hal-03165386v1
Image document

Scheduling of Parallel 3D-Printing Machines with Incompatible Job Families: A Matheuristic Algorithm

Mohammad Rohaninejad , Zdeněk Hanzálek , Reza Tavakkoli-Moghaddam
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2021, Nantes, France. pp.51-61, ⟨10.1007/978-3-030-85874-2_6⟩
Conference papers hal-04030388v1
Image document

Dynamic Distributed Job-Shop Scheduling Problem Consisting of Reconfigurable Machine Tools

Mehdi Mahmoodjanloo , Reza Tavakkoli-Moghaddam , Armand Baboli , Ali Bozorgi-Amiri
IFIP International Conference on Advances in Production Management Systems (APMS), Aug 2020, Novi Sad, Serbia. pp.460-468, ⟨10.1007/978-3-030-57997-5_53⟩
Conference papers hal-03635652v1
Image document

A New Application of Coordination Contracts for Supplier Selection in a Cloud Environment

Reza Tavakkoli-Moghaddam , Mohammad Alipour-Vaezi , Zahra Mohammad-Nazari
IFIP International Conference on Advances in Production Management Systems (APMS), Aug 2020, Novi Sad, Serbia. pp.197-205, ⟨10.1007/978-3-030-57997-5_23⟩
Conference papers hal-03635634v1
Image document

An Improvement in Master Surgical Scheduling Using Artificial Neural Network and Fuzzy Programming Approach

Ahmad Ghasemkhani , Reza Tavakkoli-Moghaddam , Mahdi Hamid , Mehdi Mahmoodjanloo
IFIP International Conference on Advances in Production Management Systems (APMS), Aug 2020, Novi Sad, Serbia. pp.254-262, ⟨10.1007/978-3-030-57997-5_30⟩
Conference papers hal-03635670v1
Image document

Post Disaster Resilient Networks: Design Guidelines for Rescue Operations

Tooska Dargahi , Sadaf Momeni , Hosein Shafiei
International Workshop on Open Problems in Network Security (iNetSec), May 2017, Rome, Italy. pp.10-19
Conference papers hal-01684183v1