1519 search results - page 60 / 304 » What do they think |
DATE
2006
IEEE
14 years 4 months ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
MSR
2010
ACM
14 years 3 months ago
2010
ACM
—Clones are generally considered bad programming practice in software engineering folklore. They are identified as a bad smell and a major contributor to project maintenance dif...
INTERACT
2003
13 years 11 months ago
2003
: Question answering systems have proven to be helpful to users because they can provide succinct answers that do not require users to wade through a large number of documents. How...
SIGCSE
2008
ACM
13 years 10 months ago
2008
ACM
Novices find it difficult to understand and use compiler error messages. It is useful to refine this observation and study the effect of different message styles on how well and q...
JOCN
2010
13 years 8 months ago
2010
■ An important aspect of cognitive control is the ability to respond with restraint. Here, we modeled this experimentally by measuring the degree of response slowing that occurs...