Although many approaches for architecturebased reliability estimation exist, these approaches are typically limited to certain classes or exclusively concentrate on software reliability, neglecting the influence of hardware resources, component reliability, component replica and software deployment. In this paper, a reliability estimation model based on software architecture (SA) is presented. ...

Does experimental evidence of the common difference effect imply that intertemporal preferences are time inconsistent? Do these features of choice suggest inherent characteristics of preferences, or could they be traced to an underlying factor that shapes the environment? The effect of uncertain lifetime on intertemporal preferences is studied. A demographic model that allows for unobservable h...

In this paper the authors discuss the misunderstanding that arose over the years around the broadly defined term of the objectrelational mismatch. It occurs in many different aspects of programming. There are three concerns considered the most important: mismatching data models, mismatching binding times and mismatching object lifecycle. This paper focuses on the data model mismatch. The author...

during the past several decades, neighborhoods have experienced gentrification phenomenon in a number of cities. gentrification, the process of neighborhood change that results in the replacement of lower income residents with higher income ones, has altered the character of hundreds of urban neighborhoods in many north american and european cities. in this paper we state how does gentrificatio...

customer activity has received more attention due to the increase of social network applications. moreover, customer activity could be an answer to the research debate about the significant relationship between retention rate and lifetime profitability of customers. several researchers believe that an increase in the retention rate of customers may enhance their customer lifetime value (clv), o...

in the current engineering practices, buildings are commonly designed for an effective lifetime of 50 years. this lifetime can increase the cost of buildings with short lifetimes and can reduce the safety level of buildings with large lifetimes. in this paper, a “service-life factor” has been defined. applying this factor into the nominal values of live, earthquake, wind, and snow loads, the ef...

In this paper a variable neighborhood search approach as a method for solving combinatory optimization problems is presented. A variable neighborhood search based algorithm for solving the problem concerning the university course timetable design has been developed. This algorithm is used to solve the real problem regarding the university course timetable design. It is compared with other algor...

Modal logics for reasoning about the power of coalitions capture the notion of effectivity functions associated with game forms. The main goal of coalition logics is to provide formal tools for modeling the dynamics of a game frame whose states may correspond to different game forms. The two classes of effectivity functions studied are the families of playable and truly playable effectivity fun...

We introduce and study higher-order coalition logic, a multi modal monadic second-order logic with operators [{x}ψ]φ expressing that the coalition of all agents satisfying ψ(x) can achieve a state in which φ holds. We use neighborhood semantics to model extensive games of perfect information with simultaneous actions and we provide a framework reasoning about agents in the same way as it is rea...

In this paper, for a complete residuated lattice L, we present the categorical properties of ?-neighborhood spaces and their relationships to neighborhood stratified L-neighborhood spaces. The main results are: (1) category is topological category; (2) can be embedded in as reflective subcategory, when L meet-continuous lattice, subcategory; (3) continuous (resp., spaces) simultaneously corefle...