2419 search results - page 408 / 484 » A Formal Approach to Software Testing |
FLAIRS
2007
13 years 10 months ago
2007
As personal assistant software matures and assumes more autonomous control of its users’ activities, it becomes more critical that this software can explain its task processing....
CHI
2007
ACM
14 years 8 months ago
2007
ACM
If applications were able to detect a user's expertise, then software could automatically adapt to better match expertise. Detecting expertise is difficult because a user...
OSDI
2008
ACM
14 years 8 months ago
2008
ACM
Deadlock is an increasingly pressing concern as the multicore revolution forces parallel programming upon the average programmer. Existing approaches to deadlock impose onerous bu...
SIGCSE
2003
ACM
14 years 1 months ago
2003
ACM
Students in programming courses generally write “toy” programs, even when the size of the assigned projects is large. Programming assignments are written, superficially teste...
CLEF
2006
Springer
13 years 12 months ago
2006
Springer
This paper details the participation of the XLDB group from the University of Lisbon at the GeoCLEF task of CLEF 2006. We tested text mining methods that make use of an ontology t...