406 search results - page 23 / 82 » Exploring Legacy Systems using Types |
WWW
2006
ACM
14 years 8 months ago
2006
ACM
The automatic identification of a user's task has the potential to improve information filtering systems that rely on implicit measures of interest and whose effectiveness ma...
INTERNET
2008
13 years 7 months ago
2008
ion. First described in RFC 707,1 with implementation approaches and details later provided by Andrew Birrell and Bruce Nelson,2 RPC has influenced distributed systems research and...
AIED
2007
Springer
14 years 1 months ago
2007
Springer
Building on past results establishing a benefit for using handwriting when entering mathematics on the computer, we hypothesize that handwriting as an input modality may be able to...
NN
2008
Springer
13 years 7 months ago
2008
Springer
In the study of information flow in the nervous system, component processes can be investigated using a range of electrophysiological and imaging techniques. Although data is diff...
ECBS
2011
IEEE
12 years 7 months ago
2011
IEEE
Abstract—Software systems are typically large and exhaustive testing of all possible input parameters is usually not feasible. Testers select tests that they anticipate may catch...