1879 search results - page 13 / 376 » Extending Reflective Architectures |
191
click to vote
AGI
2011
14 years 9 months ago
2011
This paper presents an integrated modeling framework where the learning and knowledge retrieval mechanisms of the ACT-R cognitive architecture are combined with a semantic resource...
178
click to vote
VMCAI
2009
Springer
16 years 20 days ago
2009
Springer
Abstract. Symmetry reduction is a technique to alleviate state explosion in model checking by replacing a model of replicated processes with a bisimilar quotient model. The size of...
160
click to vote
ASE
1998
15 years 5 months ago
1998
Designing a complex software system is a cognitivelychallengingtask; thus, designers need cognitive support to create good designs. Domain-oriented design environments are cooperat...
167
click to vote
UML
1999
Springer
15 years 10 months ago
1999
Springer
UML has established itself as the leading OO analysis and design methodology. Recently, it has also been increasingly used as a foundation for representing numerous (diagrammatic) ...
172
click to vote
DAC
2004
ACM
15 years 11 months ago
2004
ACM
System-on-Chip (SoC) designs are increasingly becoming more complex. Efficient on-chip communication architectures are critical for achieving desired performance in these systems....