8109 search results - page 103 / 1622 » A Model of Component-Based Programming |
151
click to vote
IIE
2008
15 years 4 months ago
2008
Blended learning is becoming an attractive model in higher education as new innovative information technologies are becoming increasingly available. However, just blending face-to-...
154
click to vote
ERSA
2009
15 years 2 months ago
2009
For a generic flexible efficient array antenna receiver platform a hierarchical reconfigurable tiled architecture has been proposed. The architecture provides a flexible reconfigur...
140
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...
143
click to vote
RTAS
2009
IEEE
15 years 11 months ago
2009
IEEE
—We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems). A PTIDES application (factory a...
130
click to vote
EPIA
2005
Springer
15 years 10 months ago
2005
Springer
This paper introduces an original 2-valued semantics for Normal Logic Programs (NLP), which conservatively extends the Stable Model semantics (SM) to all normal programs. The dist...