This paper proposes the unification of two complementary approaches to software process research. The two approaches can be characterized as macroprocess research, focused on pheno...
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...
In the last three years, several “radically new” and promising approaches have been developed for tackling the plan synthesis problem. Currently, these approaches exist in iso...
This is foremost a methodological contribution. It focuses on the foundation of anticipation and the pertinent implications that anticipation has on learning (theory and experiment...
Today a common goal in the area of email security is to provide protection from a wide variety of threats by being more predictive instead of reactive and to identify legitimate m...