6201 search results - page 843 / 1241 » Implementation of Axiomatic Language |
211
click to vote
ACL2
2006
ACM
16 years 26 days ago
2006
ACM
Several users have had problems using equivalence-based rewriting in ACL2 because the ACL2 rewriter caches its results. We describe this problem in some detail, together with a pa...
169
click to vote
HT
2006
ACM
16 years 26 days ago
2006
ACM
Metadata attempts to describe the content, format, purpose and structure of data. Over the past few years, the IEEE-LOM standard has dominated the metadata world in e-learning app...
177
click to vote
MSR
2006
ACM
16 years 26 days ago
2006
ACM
In the current trend of software engineering, software systems are viewed as clusters of overlapping structures representing various concerns, covering heterogeneous artifacts lik...
187
click to vote
SIGCSE
2006
ACM
16 years 26 days ago
2006
ACM
We argue that the failure to separate the concerns in CS1 is the leading cause of difficulty in teaching OOP in the first year. We show how the concerns can be detangled and prese...
159
click to vote
SIGCSE
2006
ACM
16 years 26 days ago
2006
ACM
This paper proposes an accessibility first pedogogy for web design, in which the course is organized around the requirement of implementing web pages accessible to visually impai...