3005 search results - page 261 / 601 » Logical Information Systems: from Taxonomies to Logics |
172
click to vote
DFT
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper presents a system to evaluate the testability of an on-line testable circuit. The system operates at the RT-level, before the logic synthesis step, and allows for an ex...
184
click to vote
FSKD
2005
Springer
16 years 4 days ago
2005
Springer
In this paper, an intelligent power management scheme for embedded systems with wireless applications is proposed to reduce the power consumption of the overall system. The propose...
183
click to vote
TABLEAUX
2005
Springer
16 years 5 days ago
2005
Springer
This paper presents the planning system Pdk (Planning with Domain Knowledge), based on the translation of planning problems into Linear Time Logic theories, in such a way that fin...
204
click to vote
XSYM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We propose a mapping from the Enhanced Entity Relationship conceptual model to the W3C XML Schema Language with the following properties: information and integrity constr...
227
click to vote
DOLAP
2000
ACM
15 years 11 months ago
2000
ACM
Generating tool specific schemata and configuration information for OLAP database tools from conceptual graphical models is an important prerequisite for a comprehensive tool supp...