339 search results - page 12 / 68 » Modularity Analysis of Logical Design Models |
AAAI
1990
13 years 8 months ago
1990
To design a task-independent dialogue system, we present a task-oriented dialogue analysis in terms of finding the referents of definite descriptions and we show how this analysis...
ITC
1999
IEEE
13 years 12 months ago
1999
IEEE
Design diversity has long been used to protect redundant systems against common-mode failures. The conventional notion of diversity relies on "independent" generation of...
INFOCOM
1997
IEEE
13 years 11 months ago
1997
IEEE
In ihis paper, we design and analyze a growable multicast ATM switch. It can grow to a large size since both cell routing and contention resolution are designed to distribute over...
EUSFLAT
2001
13 years 9 months ago
2001
Architecture is a multidisciplinary science with many dimensions.For a design task the major part of the design requirements are often qualitative (soft) next to quantitative desi...
POPL
2000
ACM
13 years 11 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...