16206 search results - page 421 / 3242 » In this issue |
146
Voted
ISCC
2007
IEEE
16 years 1 months ago
2007
IEEE
Standardization efforts have become an increasingly central issue as business interoperability demands mount. However research on the development process of standards is limited. ...
184
click to vote
MEMOCODE
2007
IEEE
16 years 1 months ago
2007
IEEE
New to the 2007 MEMOCODE conference is the HW/SW Co-Design Contest. Members of the technical and steering committees from MEMOCODE 2006 thought that the co-design practice is dist...
126
click to vote
ICALP
2007
Springer
16 years 1 months ago
2007
Springer
We study the boundedness problem for monadic least fixed points as a decision problem. While this problem is known to be undecidable in general and even for syntactically very res...
164
click to vote
ICCBR
2007
Springer
16 years 1 months ago
2007
Springer
In this position paper, we discuss the interdependencies of context models and flexible design processes in the chip industry. We illustrate this by an ontology-based context model...
163
click to vote
ICDT
2007
ACM
16 years 1 months ago
2007
ACM
Abstract. Consistent query answering (CQA) is an approach to querying inconsistent databases without repairing them first. This invited talk introduces the basics of CQA, and disc...