950 search results - page 72 / 190 » Pin-pointing concept descriptions |
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
: Modern SoC Design for high-volume products requires a strong focus on Design-for-Test and Designfor-Manufacturability. We present a case study of an SoC test concept, including a...
135
click to vote
BMAS
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper discusses aBlox - a specification notation that we defined for automated synthesis of mixed-signal systems. aBlox addresses two important aspects of mixed-signal system...
139
click to vote
DAIS
2006
15 years 6 months ago
2006
Abstract. In this paper, a model is presented which allows the composition of web services by means of a special web service, named WSInterConnect. Such a service might be used in ...
132
click to vote
DLOG
2003
15 years 6 months ago
2003
We present lower bounds on the computational complexity of satisfiability and subsumption in several description logics. We interpret these lower bounds as coming from different...
139
Voted
DLOG
2003
15 years 6 months ago
2003
This paper describes our current activities to supply extended reasoning support to knowledge engineers who are building terminologies using Description Logics (DL) reasoners. The...