نتایج جستجو برای: formalization theoretical

تعداد نتایج: 300933  

2014
Charles Morisset Iryna Yevseyeva Thomas Groß Aad van Moorsel C. Morisset A. van Moorsel

Information security decisions typically involve a trade-off between security and productivity. In practical settings it is often the human/user who is best positioned to make this trade-off decision, or in fact has a right to make its own decision (such as in the case of 'bring your own device'). It then may be useful to discuss approaches which aim to influence the user decision, while leavin...

Journal: :International Journal of Entrepreneurial Behaviour & Research 2022

Purpose Informal entrepreneurship is seen as a direct outcome of either the failure formal institutions or asymmetry between and informal institutions. These two viewpoints are so far debated alternative theoretical explanations for prevalence entrepreneurship. In this paper, authors offer theoretically integrative approach to further advance institutional perspective The purpose paper address ...

Journal: :Logical Methods in Computer Science 2005
Venanzio Capretta

A fertile field of research in theoretical computer science investigates the representation of general recursive functions in intensional type theories. Among the most successful approaches are: the use of wellfounded relations, implementation of operational semantics, formalization of domain theory, and inductive definition of domain predicates. Here, a different solution is proposed: exploiti...

Journal: :Electronic Proceedings in Theoretical Computer Science 2016

Journal: :Electronic Notes in Theoretical Computer Science 2003

Journal: :Electronic Notes in Theoretical Computer Science 2008

Journal: :international journal of information, security and systems management 2012
afshin mirmasoudi yaghob farjami alireza pourebrahimi

undoubtedly, information technology (it) has undergone extensive developments in various social and economic spheres; its effect on human society is in such a way that the world today is referred as information society. besides, information technology, attributed as the main agent of global change, is to achieve meta- organization purposes. it also pertains to appropriate information formulated...

Journal: :Информатика и автоматизация 2021

Journal: :Notre Dame Journal of Formal Logic 1975

Journal: :Inf. Sci. 2004
Zhaohao Sun Gavin R. Finnie Klaus Weber

Case Base Building with Similarity Relations Zhaohao Sun, Gavin Finnie, Klaus Weber* School of Information Technology, Bond University Email: {zsun, gfinnie}@bond.edu.au * Lufthansa Systems Berlin GmbH, Fritschestr. 27-28, D-10585 Berlin, Germany [email protected] Abstract: This paper has two main contributions. Firstly, it shows that similarity relations are an adequate means of formal...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید