محبوبترین نویسندگان :
نویسندگان مقالات پربازدید :
مجله برنامه های کاربردی شبکه و کامپیوتر
جزئیات رویداد
همایش ، رویداد ، ژورنال
اینستاگرام تی پی بین
حوزه های تحت پوشش رویداد

  • email fi identification and resolution with model checking

    نویسندگان :
    کلمات کلیدی :
    جزئیات بیشتر مقاله
    • تاریخ ارائه: 1392/07/24
    • تاریخ انتشار در تی پی بین: 1392/07/24
    • تعداد بازدید: 657
    • تعداد پرسش و پاسخ ها: 0
    • شماره تماس دبیرخانه رویداد: -
     internet applications, such as email, voip and www, have been enhanced with features. however, the introduction and modification of features may result in undesired behaviors, and this effect is known as feature interaction (“fi”). among other methods, constraint logic programming and model checking have been adopted to address the two main problems in telephony fis: detection and resolution.in this paper, we show that model checking is also suitable to detect fis in more complex domains and we use email features as an example. moreover, fi detection may be simultaneously analyzed by model checking tools.finally, we analyze the implementation performance against a number of parties and message types using the cpachecker tool. model checking reveals a superior performance against constraint programming, for the case of fi detection with fi occurrence.

سوال خود را در مورد این مقاله مطرح نمایید :

با انتخاب دکمه ثبت پرسش، موافقت خود را با قوانین انتشار محتوا در وبسایت تی پی بین اعلام می کنم
مقالات جدیدترین رویدادها
مقالات جدیدترین ژورنال ها