15888 search results - page 2720 / 3178 » Supporting human-intensive systems |
244
click to vote
ACL2
2006
ACM
16 years 1 months ago
2006
ACM
Support for congruence-based rewriting is built into ACL2. This capability allows ACL2 to treat certain predicate relations ”just like equality” under appropriate conditions a...
203
click to vote
ACMDIS
2006
ACM
16 years 1 months ago
2006
ACM
Recent research suggests design pre-patterns, structured collections of evidence-based research and design knowledge, provide a useful resource for design activities in emerging a...
151
click to vote
AOSD
2006
ACM
16 years 1 months ago
2006
ACM
When specifying pointcuts, i.e. join point selections, in AspectOriented Software Development, developers have in different situations different conceptual models in mind. Aspect-...
198
click to vote
ASPDAC
2006
ACM
16 years 1 months ago
2006
ACM
– Modern multi-processor system-on-chip (MPSoC) designs have high bandwidth constraints which must be satisfied by the underlying communication architecture. Bus matrix based com...
178
click to vote
CSCW
2006
ACM
16 years 1 months ago
2006
ACM
This paper presents a design case study of SIDES: Shared Interfaces to Develop Effective Social Skills. SIDES is a tool designed to help adolescents with Asperger’s Syndrome pra...