671 search results - page 63 / 135 » The Role of Composition in Computer Programming |
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
Libraries of learning objects may serve as basis for deriving course offerings that are customized to the needs of different learning communities or even individuals. Several ways...
IFIPTCS
2010
13 years 6 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
SPIN
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. The paper presents a novel technique to create implementations of the basic primitives used in symbolic program analysis: forward symbolic evaluation, weakest liberal pre...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
A compositional method for estimating software reliability of many threaded programs is developed. The method uses estimates of the reliability of individual modules and the proba...
COORDINATION
2008
Springer
13 years 10 months ago
2008
Springer
Context-aware applications adapt their behavior depending on changes in their environment context. Programming such applications in a modular way requires to modularize the global ...