6167 search results - page 1134 / 1234 » Can Refinement be Automated |
144
Voted
FLAIRS
2008
15 years 5 months ago
2008
One of the central problems in building broad-coverage story understanding systems is generating expectations about event sequences, i.e. predicting what happens next given some a...
151
Voted
ISSTA
2010
ACM
15 years 5 months ago
2010
ACM
Writing reliable software is difficult. It becomes even more difficult when writing scientific software involving floating-point numbers. Computers provide numbers with limite...
149
Voted
DAC
2006
ACM
15 years 5 months ago
2006
ACM
Software-based self-test (SBST) has recently emerged as an effective methodology for the manufacturing test of processors and other components in systems-on-chip (SoCs). By moving ...
132
Voted
ECLIPSE
2005
ACM
15 years 5 months ago
2005
ACM
Most open source software development projects include an open bug repository—one to which users of the software can gain full access—that is used to report and track problems...
124
click to vote
COMPSAC
2007
IEEE
15 years 5 months ago
2007
IEEE
The popularity of Service Oriented Computing (SOC) brings a large number of distributed, well-encapsulated and reusable services all over internet, and makes it possible to create...