6952 search results - page 331 / 1391 » The information integrity imperative |
337
click to vote
POPL
2004
ACM
16 years 7 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
222
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
Background: Since Swanson proposed the Undiscovered Public Knowledge (UPK) model, there have been many approaches to uncover UPK by mining the biomedical literature. These earlier...
293
click to vote
TAPIA
2009
ACM
15 years 11 months ago
2009
ACM
According to Computing Research Association, during each year between 2003 and 2007, fewer than 3% of the US’s Ph.D.s graduates in computer science and computer engineering were...
222
click to vote
SIGCSE
2012
ACM
2012
ACM
Understanding the tenets of agile software engineering: lecturing, exploration and critical thinking
14 years 2 months ago
The use of agile principles and practices in software development is becoming a powerful force in today’s workplace. In our quest to develop better products, therefore, it is im...
285
click to vote
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
We present an overview of a tutorial on model management--an approach to solving data integration problems, such as data warehousing, e-commerce, object-to-relational mapping, sch...