1465 search results - page 29 / 293 » Making the Correct Mistakes |
DASFAA
2007
IEEE
15 years 1 months ago
2007
IEEE
Cache groups are a powerful concept for database caching, which is used to relieve the backend database load and to keep referenced data close to the application programs at the &q...
DAIS
2003
14 years 11 months ago
2003
Some of the data available to today’s enterprise applications is inconsistent. This is an inevitable consequence of data being distributed and partially replicated in many locati...
112
click to vote
POPL
2011
ACM
14 years 15 days ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
181
click to vote
ICDE
2003
IEEE
15 years 11 months ago
2003
IEEE
XML data integration tools are facing a variety of challenges for their efficient and effective operation. Among these is the requirement to handle a variety of inconsistencies or...
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
Software development environment is a platform for supporting software designer to design software based on the software requirement specification. It is an interactive system wit...