670 search results - page 104 / 134 » Software safety: relating software assurance and software in... |
174
click to vote
SIGUCCS
2003
ACM
15 years 11 months ago
2003
ACM
Providing instructional technology support for faculty requires a range of skills, from knowledge of software and hardware, to an ability to communicate, teach workshops, and rela...
154
click to vote
EDM
2009
15 years 3 months ago
2009
This paper describes a novel method to create a quantitative model of an educational content domain of related practice item-types using learning curves. By using a pairwise test t...
165
click to vote
CADE
2003
Springer
16 years 6 months ago
2003
Springer
We describe the integration of permutation group algorithms with proof planning. We consider eight basic questions arising in computational permutation group theory, for which our ...
225
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
Scientific WorkFlows (SWFs) need to utilize components and applications in order to satisfy the requirements of specific workflow tasks. Technology trends in software development ...
144
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
The aim of this work is to provide an elegant and accurate static execution timing model for 32-bit microprocessor instruction sets, covering also inter–instruction effects. Suc...