Sciweavers

7103 search results - page 491 / 1421
» Program Generation and Components
Sort
View
IJKSR
2011
106views more  IJKSR 2011»
14 years 8 months ago
Integrating the LMS in Service Oriented eLearning Systems
Learning management systems are routinely used for presenting, solving and grading exercises with large classes. However, teachers are constrained to use questions with pre-defined...
José Paulo Leal, Ricardo Queirós
CVPR
2005
IEEE
16 years 6 months ago
A High Resolution Grammatical Model for Face Representation and Sketching
In this paper we present a generative, high resolution face representation which extends the well-known active appearance model (AAM)[5, 6, 7] with two additional layers. (i) One ...
Zijian Xu, Hong Chen, Song Chun Zhu
FDL
2005
IEEE
15 years 10 months ago
Meta Modelling of Embedded Systems using Active Databases
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
Dieter Monjau, Mathias Sporer
IJES
2006
134views more  IJES 2006»
15 years 4 months ago
Applying model-driven development to distributed real-time and embedded avionics systems
Model-driven development (MDD) is an emerging paradigm that uses domain-specific modeling languages (DSMLs) and generative technologies to provide "correct-by-construction&quo...
Krishnakumar Balasubramanian, Arvind S. Krishna, E...
POPL
2007
ACM
16 years 5 months ago
Modular type classes
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
Derek Dreyer, Robert Harper, Manuel M. T. Chakrava...