variety of temporal logic: alternating-time temporal logic offers selective quantification over those paths that are possible outcomes of games, such as the game in which the system and the environment alternate moves. While linear-time and branching-time logics are natural specification languages

So-called "guarded commands" are introduced as a building block for alternative and repetitive constructs that allow nondeterministic program components for which at least the activity evoked, but possibly even the final state, is not necessarily uniqilely determined by the initial state

. However, it would clearly be undesirable to have large queues (possibly on the order of a delay bandwidth product) that were full much of the time; this would significantly increase the average delay in the network. Therefore, with increasingly high-speed networks, it is increasingly important to have

We apply the symbolic analysis principle to pushdown systems. We represent (possibly infinite) sets of configurations of such systems by means of finite-state automata. In order to reason in a uniform way about analysis problems involving both existential and universal path quantification (like

Recent years have witnessed the birth of a new paradigm for learning environments: animated pedagogical agents. These lifelike autonomous characters cohabit learning environments with students to create rich, face-to-face learning interactions. This opens up exciting new possibilities; for example

What are the units of attention? In addition to standard models holding that attention can select spatial regions and visual features, recent work suggests that in some cases attention can directly select discrete objects. This paper reviews the state of the art with regard to such `object

exchange rates. Special attention is paid to the U.S. real exchange rate with Japan. The possibility of mismeasurement of traded-goods prices is explored. The real exchange rate is a measure of one country’s overall price level relative to another country’s. It is often associated with the price

-tion, and social behavior may be explained in terms of men's and women's different self-construals. Recognition of the interdependent self-construal as a possible alternative conception of the self may stimulate new investigations into the ways the self influences a person's thinking, feeling

in cognitive psychology, as well as rhetorical, aesthetic, and social aspects related to attentional mechanisms. We analyse current approaches to the design of Attention Aware Systems along three major features: detection of user's current attentional state, detection and evaluation of possible

people, and is expressed in simple symbolic notation. From this definition is developed a statement of power comparability, or the relative degree of power held by two or more persons. With these concepts it is possible for example, to rank members of the United States Senate according to their “power