Despite the development of many modeling formalisms and model solution methods, most tool implementations support only a single formalism. Furthermore, models expressed in a chosen formalism cannot be combined to interact with models expressed in other formalisms. This chapter provides an overview of selected performance/dependability modeling tools motivating the need for multi-formalism and m...

We state a simple condition on a rational subset X of a free monoid B for the existence of a sequential function that is a one-to-one mapping of some free monoid A onto X. As a by-product we obtain new sequential bijections of a free monoid onto another.

We consider the set Rω(Γ, D) of infinite real traces, over a dependence alphabet (Γ, D) with no isolated letter, equipped with the topology induced by the prefix metric. We then prove that all rational languages of infinite real traces are analytic sets. We reprove also that there exist some rational languages of infinite real traces which are analytic but non Borel sets, and even Σ11-complete,...

I develop a framework in which a principal can exploit myopic social learning in a population of agents in order to implement social or selfish outcomes that would not be possible under the traditional fully-rational agent model. Learning in this framework takes a simple form of imitation, or replicator dynamics, a class of learning dynamics that often leads the population to converge to a Nash...

Özet. Karmaşık yazılım-yoğun sistemlerin davranışını betimlemek ve anlamak amacıyla kullanılan yöntemlerden biri Kullanım Eşlemesi (Use Case Map UCM) gösterimidir. Gereksinimler ve kullanım durumları doğrultusunda ortaya çıkan senaryoları mimari bileşenlerle eşleştirmek, dolayısıyla sistem davranışlarını daha iyi açıklamak ve analiz etmek amacıyla UCM kullanılır. Bu çalışmada ise örnek çoklu or...

We consider how repetition blindness and the attentional blink might arise from prior assumptions about the occurrence of task-relevant states of the world. Repetition blindness and the attentional blink are behavioral deficits in the identification of items during rapid serial visual presentation at varying delays after identifying the first “target.” Here we propose that both of these effects...

In this paper we present our preliminary investigation of rational agents who can learn from their experience. We claim that such agents need to combine at least three attributes – deductive reasoning based on currently possessed knowledge, inductive learning from their history, and awareness of passing time (including the necessity to commit computational resources to tasks which need to be ca...

This article shows how uninformed but rational voters can respond intelligently to political advertising. The article models a situation where a candidate must rely on a pressure group for financing political advertising and making endorsements. The pressure group uses its power over the purse to influence the position chosen by the candidate. Nevertheless, when uninformed voters use a strategi...

Contrary to my critics, voter irrationality does not imply that economists cannot mitigate political failure. With rational voters, reform-minded economists have few viable tactics; with irrational voters reformers have more options. Rational voters can be swayed only by facts and logic; irrational voters could respond to better rhetoric. Rational voters strategically punish those who ignore th...