Abstract. This paper explores theories that help in (i) proving that a system composed from components satisfies a system specification given only specifications of components and ...
This paper presents a model of concurrent objectoriented programming in which specification of computational behavior is separated from specification of interaction behavior of me...
Abstract. Population size is a critical parameter that affects the performance of an Evolutionary Computation model. A variable population size scheme is considered potentially be...
In this paper, we describe assessment processes at three computer science programs accredited by the Computing Accreditation Commission (CAC) of ABET. Assessment is a vital compon...
Frances K. Bailie, Deborah Whitfield, Adel M. Abun...
We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of ...