Super User

Performance Evaluation of Location Update Schemes in Mobile Ad Hoc Networks

Khaled Omer

Written by

Using Maximality-Based Labeled Transition System Model for Concurrency Logic Verification

Djamel Eddine Saidouni

Written by

Modeling and Formal Verification of IMPP

Sohel Khan and Abdul Waheed Abdul Sattar<

Written by

Genetic Algorithm-Based Synthesis of

Written by

A Model for Multi-Plant Production Planning Coordination

Conrad Oboulhas, Xu Xiaofei, and Zhan

Written by

Rules for Transforming Order Dependent Transaction into Order Independent Transaction*

Hamidah Ibrahim

<
Written by

Integrating GIS and MCDM Using COM Technology

Khalid Eldrandaly1, Neil Eldin<

Written by

Solving the Maximum Satisfiability Problem Using an Evolutionary Local Search Algorithm

Mohamed El

Written by

A Connectionist Expert Approach for Speech Recognition

Halima Bahi and Mokhtar Sellami

<
Written by

Data Integration in a PLM Perspective for Mechanical Products

Sihem Mostefai1,

Written by
Page 6 of 170
Top
We use cookies to improve our website. By continuing to use this website, you are giving consent to cookies being used. More details…