4217 search results - page 819 / 844 » The Small Model Property: How Small Can It Be |
IQIS
2004
ACM
14 years 1 months ago
2004
ACM
Information integration is often faced with the problem that different data sources represent the same set of the real-world objects, but give conflicting values for specific prop...
AMDO
2004
Springer
14 years 1 months ago
2004
Springer
In many product areas, a growing trend can be observed towards variant design, i.e. the development of customized designs based on variations of mature product models. We have deve...
HICSS
2000
IEEE
14 years 4 days ago
2000
IEEE
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
UIST
1999
ACM
14 years 18 hour ago
1999
ACM
Cascading Style Sheets have recently been introduced by the W3C as a mechanism for controlling the appearance of HTML documents. In this paper, we demonstrate how constraints prov...
ICCAD
1995
IEEE
13 years 11 months ago
1995
IEEE
Abstract: Functions that map boolean vectors into the integers are important for the design and veri cation of arithmetic circuits. MTBDDs and BMDs have been proposed for represent...