4117 search results - page 679 / 824 » On the Satisfiability of Complex Constraints |
229
click to vote
TOPNOC
2010
15 years 1 months ago
2010
Information systems supporting business process are mostly very complex. If we have to ensure that certain business rules are enforced in a business process, it is often easier to ...
210
click to vote
CODASPY
2011
14 years 10 months ago
2011
—Progress in mobile wireless technology has resulted in the increased use of mobile devices to store and manage users’ personal schedules. Users also access popular contextbase...
195
click to vote
INFOCOM
2011
IEEE
14 years 10 months ago
2011
IEEE
—Generating a shared key between two parties from the wireless channel is of increasing interest. The procedure for obtaining information from wireless channel is called channel ...
198
click to vote
DM
2000
15 years 6 months ago
2000
Erdos proved that there are graphs with arbitrarily large girth and chromatic number. We study the extension of this for generalized chromatic numbers. Generalized graph coloring d...
287
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
There has been a recent resurgence of interest in research on noisy and incomplete data. Many applications require information to be recovered from such data. For example, in sens...