254 search results - page 32 / 51 » Deriving test plans from architectural descriptions |
ERCIMDL
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Digital libraries are increasingly relying on distributed services to support increasingly complex tasks such as retrieval or preservation. While there is a growing body ...
134
Voted
CORR
2004
Springer
14 years 11 months ago
2004
Springer
- This paper describes an approach to the design of a population of cooperative robots based on concepts borrowed from Systems Theory and Artificial Intelligence The research has b...
AAAI
2004
15 years 15 days ago
2004
Plan recognition has traditionally been developed for logically encoded application domains with a focus on logical reasoning. In this paper, we present an integrated plan-recogni...
79
Voted
DAC
1997
ACM
15 years 3 months ago
1997
ACM
This paper presents a new scan-based BIST scheme which achieves very high fault coverage without the deficiencies of previously proposed schemes. This approach utilizes scan order...
DAC
1994
ACM
15 years 3 months ago
1994
ACM
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...