امروزه سرویس‌های مکان-مبنا اعم از سیستم‌های پیش‌بینی ترافیک و خدمات ارائه شده از طریق تلفن همراه به بخشی از زندگی روزمره ما تبدیل شده‌اند. سرویس‌ها، کاربران، مفاهیم مکان، زمان و حرکت به عنوان زیر دامنه‌های اصلی خدمات مکان-مبنا تعریف می‌شوند. این زیردامنه‌ها کاملاً نا‌همگن و پیچیده می‌باشند که برای رفع این مشکل می‌توان از آنتولوژی به عنوان هسته‌ی زیرساختار داده‌های موجود در این خدمات استفاده کرد....

تا کنون، روشی یکپارچه برای طراحی سیستمهای نرم افزاری امن ایجاد نگردیده و در حال حاضر اقداماتی اولیه در این زمینه در حال انجام است. این پایان نامه نیز با هدف مذکور تعریف شده که در آن، دسته بندی جدیدی از نیازمندیهای امنیتی در سیستمهای نرم افزاری ارایه شده و در نتیجه، مکانیزمهای کنترل دسترسی برای اولین بار به عنوان برآورده کننده یک نیاز کارکردی معرفی گردیده و سپس uml را برای پشتیبانی از مکانیزم کن...

الزام بایع به پرداخت ارش، در صورت معیب بودن مبیع ، مبنای قراردادی دار د و در موارد ی که به دلیل عدم امکان رد مبیع یا استرداد آن با همان وضعیت زمان معامله ، اعمال خیار عیب و فسخ عقد ممکن نباشد،مشتری فقط می تواند از ارش به عنوان غرامت بهره مند شود . حق دریافت ارش،حق مالی مستقلی است که با ظهور عیب در مبیع و به منظور جبران زیان مشتری،در عرض حق فسخ ایجاد می شود، اما بقا یا سقوط آن، لزوما متاثر ...

استدلال قضایی استنتاجی است که دادگاه از وقایع موضوع مورد رسیدگی و از خلال دلایل ابراز شده توسط طرفین دادگاه به عمل می‌آورد. از این تعریف چند نتیجه به دست می‌آید: نخست این‌که، این شیوه شباهت تامی با روشی منطقی دارد که در آن با موضوع و محمول که مقدمات قضیه هستند، استنتاج حاصل می‌شود؛ ثانیاً، استدلال قضایی دارای مبانی انکارناپذیری است که تمام مراحل دادرسی را معطوف به...

اصل کلی بر این است، زیانی که به اشخاص (حقیقی و حقوقی) وارد می‌شود باید توسط فرد خاطی جبران شود ولی همیشه اینگونه نیست و استثنائاتی دیده می‌شود، مانند مسؤولیت مدنی پیمانکار که در مواردی از مصادیق ناشی از فعل غیر و برخلاف اصل است. در حقوق ما نظریاتی پیمانکار را مسؤول جبران خسارت وارده به زیان‌دیده می‌داند، از جمله نظریه تقصیر، خطر، تضمین حق و نظریه نمایندگی (البته با اضافه نمودن قیودی در مورد کار...

تقریرهای مختلفی که تاکنون از نظریۀ اصالت وجود ملاصدرا ارائه شده است عموماً به خاستگاه و فرآیند تاریخی شکل‌گیری این دیدگاه به شکل مسئله‌محور نظر نداشته است. این نوشتار تبیین‌کنندۀ این است که سرآغاز شکل‌گیری مبنای اصالت وجود چه نقطه‌ای از تاریخ فلسفه اسلامی بوده و ملاصدرا برای رساندن آن به پختگی چه گام‌هایی را پیموده است. بازتقریر تاریخی این نظریه نشان می‌دهد که آنچه امروزه به عنوان کلیدی‌ترین مبن...

تقریرهای مختلفی که تاکنون از نظریۀ اصالت وجود ملاصدرا ارائه شده است عموماً به خاستگاه و فرآیند تاریخی شکل گیری این دیدگاه به شکل مسئله محور نظر نداشته است. این نوشتار تبیین کنندۀ این است که سرآغاز شکل گیری مبنای اصالت وجود چه نقطه ای از تاریخ فلسفه اسلامی بوده و ملاصدرا برای رساندن آن به پختگی چه گام هایی را پیموده است. بازتقریر تاریخی این نظریه نشان می دهد که آنچه امروزه به عنوان کلیدی ترین مبن...

استدلال قضایی استنتاجی است که دادگاه از وقایع موضوع مورد رسیدگی و از خلال دلایل ابراز شده توسط طرفین دادگاه به عمل می آورد. از این تعریف چند نتیجه به دست می آید: نخست این که، این شیوه شباهت تامی با روشی منطقی دارد که در آن با موضوع و محمول که مقدمات قضیه هستند، استنتاج حاصل می شود؛ ثانیاً، استدلال قضایی دارای مبانی انکارناپذیری است که تمام مراحل دادرسی را معطوف به خود می داند و هر گزاره ای بدون ...

بعد از پیروزی انقلاب اسلامی و اهتمام مسئولین نظام به قانونیت بخشیدن به نهادهای حقوق اسلامی، مسائلی مطرح شد که در فقه سابقه طرح نداشت. فقیهان معاصر برای پاسخ گویی به این مسائل، تلاش وافری به خرج داده و پاسخهایی فرا روی قانون گذار و دستگاه قضایی کشور نهادند. این پاسخها در همه موارد یکسان نبوده و احیاناً اختلاف نظر فقهی مشاهده می شود. از جمله مسائل یاد شده مسأله «خسارت مازاد بر دیه» است که هر چند ت...