1284 search results - page 102 / 257 » On Helping and Interactive Proof Systems |
IJET
2006
14 years 10 months ago
2006
One of the primary goals of undergraduate studies programs is to promote the professional and personal growth and success of their students. First year students, however, often suf...
FDL
2008
IEEE
15 years 4 months ago
2008
IEEE
The features of the emerging modeling languages for system design allow designers to build models of almost any kind of heterogeneous hardware-software systems, including Real Tim...
SEKE
2009
Springer
15 years 4 months ago
2009
Springer
Most existing software optimization research assumes advance knowledge of the component parameters. Perfect future knowledge of fault detection is an unnecessary oversimpliļ¬cati...
KBSE
1998
IEEE
15 years 2 months ago
1998
IEEE
Specification-based retrieval provides exact contentoriented access to component libraries but requires too much deductive power. Specification-based browsing evades this bottlene...
103
click to vote
AIMSA
2008
Springer
15 years 4 months ago
2008
Springer
In order to build an intelligent system that allows human beings to cooperate with a computing machine to perform a given task it is important to account for the individual charact...