1522 search results - page 274 / 305 » Supporting Dynamic Process Specifications Using Communicatio... |
AIEDU
2010
14 years 4 months ago
2010
Although worked-out examples play a key role in cognitive skill acquisition, research demonstrates that students have various levels of meta-cognitive abilities for using examples ...
ISESE
2006
IEEE
15 years 3 months ago
2006
IEEE
Inspection is considered a powerful method to check software documents for defects. Many published work shows that inspections in requirements specification phase are particularly...
117
click to vote
ISCA
2011
IEEE
14 years 1 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
KDD
2006
ACM
15 years 10 months ago
2006
ACM
Typically, data collected by a spacecraft is downlinked to Earth and pre-processed before any analysis is performed. We have developed classifiers that can be used onboard a space...
108
click to vote
OOPSLA
2010
Springer
14 years 8 months ago
2010
Springer
Domain-specific languages offer high expressive power foa particular problem domain, abstracting over the accidental complexity associated with traditional software development. ...