Contracts as a facilitator of resource evolution
نویسندگان
چکیده
منابع مشابه
On Verifying Resource Contracts using Code Contracts
In this paper we present an approach to check resource consumption contracts using an off-theshelf static analyzer. We propose a set of annotations to support resource usage specifications, in particular, dynamic memory consumption constraints. Since dynamic memory may be recycled by a memory manager, the consumption of this resource is not monotone. The specification language can express both ...
متن کاملtranslating allusive devices:a survey of a portrait of the artist as a young man by james joyce
تلمیح یکی از عناصری است که تقریباً در همه ی متون ادبی یافت و باعث ایجاد شکاف های فرهنگی می شود. در این تحقیق به عنوان شکلی از بینامتنیت در ترجمه مورد توجه قرار می گیرد. تلاش شده است تا راهکارهای مترجمان برای ترجمه چهار نوع اسامی خاص و عبارات کلیدی تلمیحی (مذهبی، سیاسی، تاریخی و اسطوره ای) موجود در رمانِ چهره مرد هنرمند در جوانی به فارسی بررسی شود. این تحقیق مقایسه ای بر اساس راهکارهای ترجمه تلمیح...
15 صفحه اولCovid-19 as a Facilitator for increasing domestic violence against women: A systematic review study
due to restrictive conditions (Quarantine) have exposed family relations to some critical issues and have increased domestic violence against women. Therefore, the aim of the present study was to investigate the reasons for the increasing domestic violence related to coronavirus (COVID 19) by systematic review study. Methods: At the first stage, we gathered original articles from 2019 to 2020 i...
متن کاملThe facilitator as agent of change
The Vienna School-Based Teacher Development Project (SBP) is an inservice training project, established in Vienna in 1991 to meet the need for an entirely new form of teacher INSET. This article describes the background which led to the creation of the SBP, and explains the importance that the Project has come to have for the teaching of English in the Vienna area, and for the many teachers it ...
متن کاملBacteriophage latent-period evolution as a response to resource availability.
Bacteriophages (phages) modify microbial communities by lysing hosts, transferring genetic material, and effecting lysogenic conversion. To understand how natural communities are affected it is important to develop predictive models. Here we consider how variation between models--in eclipse period, latent period, adsorption constant, burst size, the handling of differences in host quantity and ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Business Research
سال: 2012
ISSN: 0148-2963
DOI: 10.1016/j.jbusres.2011.11.002