الصفحة الرئيسية
الأقسام العلمية
قسم تقنية المعلومات
قسم علوم الحاسبات
قسم نظم المعلومات
طلابنا
قسم بروشورات الطلاب
وحدة مهارات الحاسب
طلاب الكلية المتفوقين
صفحة الإعلانات الخاصة بطلاب الكلية
خريجو الدفعة الأولى
دفعة 2009
دفعة 2010
دفعة 2011
دفعة 2012
إنجازات الطلاب الخريجين
عمر احمد المحمودي
عمر الحموي
الإرشاد الأكاديمي
معلومات عن الإرشاد الأكاديمي
المر شدون الأكاديميون
معلومات عن تسجيل الموار
حضور المحا ضرات
أسئلة متكررة
أبحاث وأنشطة أكاديمية
الأبحاث
مشاريع بحثية
لعام 1431/1432
لعام 1430/1431
المجموعات البحثية
جائزة أفضل ورقة بحثية في كلية الحاسبات برابغ
المجموعة البحثية الخاصة بعلوم الحاسبات النظرية
المجموعة البحثية الخاصة بالذكاء الإصطناعي والحوسبة
المجموعة البحثية الخاصة بالأحياء الحسابية
مؤتمرات وورش العمل
اكتوبر ٢٠٠٩
نوفمبر ٢٠٠٩
ديسمبر ٢٠٠٩
يناير ٢٠١٠
فبراير ٢٠١٠
مزيد ٢٠١٠
الفصل الثاني 2011
2012
2013
2014
لجنة الإعتماد الأكاديمي ABET
أنشطة نادي كلية الحاسبات برابغ – شطر الطالبات
أنشطة 1434-1435
أنشطة الفصل الثاني1434/ 1435 هـ
النشر العامىي
قسم تقنية المعلومات النشر العامىي
الشراكات المجتمعية
الخدمات الإلكترونية
عمادة تقنية المعلومات
عمادة البحث العلمي
عمادة شؤون المكتبات
عمادة القبول والتسجيل
SIS
تخطيط استراتيجي
نموذج حجز المسرح
الأخبار والفعاليات
آخر الأخبار
عن الكلية
عربي
English
عن الجامعة
القبول
الأكاديمية
البحث والإبتكار
الحياة الجامعية
الخدمات الإلكترونية
صفحة البحث
كلية الحاسبات وتقنية المعلومات برابغ
تفاصيل الوثيقة
نوع الوثيقة
:
مقال في مجلة دورية
عنوان الوثيقة
:
A Mobile-Agent Environment for Service Oriented System using Strong Mobility
A Mobile-Agent Environment for Service Oriented System using Strong Mobility
الموضوع
:
علوم حاسبات
لغة الوثيقة
:
الانجليزية
المستخلص
:
In this research, we extended our existing work by applying the concept of strong mobility of mobile agent to make service oriented systems. Initially, an algorithm is developed on the model, based on strong mobility between the clients and server using mobile agent technology via VSAT (very small aperture technology). Where clients are deployed in critical regions which calculate flood discharge based on speed of flood. The proposed algorithm has been verified through the mobile Petri net, a formal language, which is used to formalize it. Reachability tree method of analysis is adopted to verify this model. For practical implementation, a critical area ‘Kalabagh’ is selected and a Java based system is developed of this model. The system is verified by using the historical data values of this critical area and the results verify the model.
ردمد
:
2411-6246
اسم الدورية
:
VFAST Transactions on Software Engineering
المجلد
:
8
العدد
:
1
سنة النشر
:
1437 هـ
2016 م
نوع المقالة
:
مقالة علمية
تاريخ الاضافة على الموقع
:
Monday, March 7, 2016
الباحثون
اسم الباحث (عربي)
اسم الباحث (انجليزي)
نوع الباحث
المرتبة العلمية
البريد الالكتروني
Sher Afzal Khan
Khan, Sher Afzal
باحث
دكتوراه
skhan.afzal@gmail.com
الملفات
اسم الملف
النوع
الوصف
38348.pdf
pdf
الرجوع إلى صفحة الأبحاث