Sciweavers

1987 search results - page 269 / 398
» Structural Model: Architecture for Software Designers
Sort
View
FOAL
2009
ACM
15 years 11 months ago
A machine-checked model of safe composition
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...
Benjamin Delaware, William R. Cook, Don S. Batory
ADAEUROPE
2003
Springer
15 years 9 months ago
A Quality Model for the Ada Standard Container Library
The existence of a standard container library has been largely recognized as a key feature for improving the quality and effectiveness of Ada programming. In this paper, we aim at...
Xavier Franch, Jordi Marco
IVA
2010
Springer
15 years 2 months ago
Speed Dating with an Affective Virtual Agent - Developing a Testbed for Emotion Models
In earlier studies, user involvement with an embodied software agent and willingness to use that agent were partially determined by the aesthetics of the design and the moral fiber...
Matthijs Pontier, Ghazanfar F. Siddiqui, Johan F. ...
FPGA
2007
ACM
124views FPGA» more  FPGA 2007»
15 years 10 months ago
A practical FPGA-based framework for novel CMP research
Chip-multiprocessors are quickly gaining momentum in all segments of computing. However, the practical success of CMPs strongly depends on addressing the difficulty of multithread...
Sewook Wee, Jared Casper, Njuguna Njoroge, Yuriy T...
EUROMICRO
2009
IEEE
15 years 8 months ago
Using JavaBeans to Realize a Domain-Specific Component Model
SaveCCM is a domain specific component model developed specifically for safety-critical hard real-time embedded systems in the vehicular domain. This paper expands the scope of Sa...
Juraj Feljan, Jan Carlson, Mario Zagar