Context-free grammar constraints enforce that a sequence of variables forms a word in a language defined by a context-free grammar. The constraint has received a lot of attention ...
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...
This chapter addresses the problem of producing and maintaining progress in agent design. New architectures often hold important insights into the problems of designing intelligenc...
Information integration systems have to cope with the different and limited query interfaces of the underlying information sources. First, the integration systems need description...
Hierarchical state machines are finite state machines whose states themselves can be other machines. In spite of their popularity in many modeling tools for software design, very l...