3071 search results - page 51 / 615 » Explanatory Design Theory |
FAABS
2000
Springer
15 years 1 months ago
2000
Springer
This paper discusses automated reasoning in the KARO framework. The KARO framework accommodates a range of expressive modal logics for describing the behaviour of intelligent agent...
CONCURRENCY
2007
14 years 10 months ago
2007
We discuss the design and high-performance implementation of collective communications operations on distributed-memory computer architectures. Using a combination of known techni...
ICSE
2009
IEEE-ACM
14 years 7 months ago
2009
IEEE-ACM
Modern software systems should be more and more designed with adaptation and run-time evolution in mind. But even with good reactions to changes, the triggered adaptation should b...
CORR
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. In the first part of this article we introduce the notion of a backwardforward conditioning (BFC) system that generalises the notion of zero-class admissibiliy introduce...
CANDC
2009
ACM
15 years 4 months ago
2009
ACM
Video and transcripts of two architectural design meetings are presented in an analysis of a specific design process. The focus of the analysis presented here is the social and c...