This article is an introduction to our research towards a formal framework for tackling reliability in reactive autonomic systems with self-monitoring functionality. The Autonomic System Specification Language (ASSL) is a framework for formally specifying and generating autonomic systems. With ASSL, we can specify high-level behavior policies, which shows that it is very appropriate language fo...

A contrived play group procedure was utilized to examine the behavioral and social-cognitive correlates of reactive aggression, proactive aggression, and victimization via peers. Eleven play groups, each of which consisted of six familiar African-American 8-year-old boys, met for 45-min sessions on five consecutive days. Social-cognitive interviews were conducted following the second and fourth...

We analyze the long time behavior of initial value problems that model a process where particles of type A and B diffuse in some substratum and react according to nA + nB → C. The case n = 1 has been studied before; it presents nontrivial behavior on the reactive scale only. In this paper we discuss in detail the cases n > 3, and prove that they show nontrivial behavior on the reactive and the ...

Opponent behavior in today's computer games is often the result of a static set of Artificial Intelligence (AI) behaviors or a fixed AI script. While this ensures that the behavior is reasonably intelligent, it also results in very predictable behavior. This can have an impact on the replayability of entertainment-based games and the educational value of training-based games. This paper propose...