671 search results - page 9 / 135 » The Role of Composition in Computer Programming |
ACTA
2004
13 years 8 months ago
2004
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 ...
ICCL
1994
IEEE
14 years 28 days ago
1994
IEEE
This paper presents a model of concurrent objectoriented programming in which specification of computational behavior is separated from specification of interaction behavior of me...
EUROGP
2009
Springer
14 years 3 months ago
2009
Springer
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...
FECS
2007
13 years 10 months ago
2007
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...
CORR
2004
Springer
13 years 8 months ago
2004
Springer
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 ...