8109 search results - page 103 / 1622 » A Model of Component-Based Programming |
130
Voted
IIE
2008
15 years 2 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-...
142
Voted
ERSA
2009
15 years 13 days 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...
122
Voted
SIGSOFT
2005
ACM
16 years 3 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...
128
Voted
RTAS
2009
IEEE
15 years 9 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...
113
Voted
EPIA
2005
Springer
15 years 8 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...