Cyber foraging is the transient and opportunistic use of compute servers by mobile devices. The short market life of such devices makes rapid modification of applications for remo...
Rajesh Krishna Balan, Darren Gergle, Mahadev Satya...
This study explored how experts and novices in pedagogics expanded queries supported by the ERIC thesaurus, and how this was connected to the search success in an easy and a diffi...
Music making is usually considered as mostly a solitary activity done by composers, but with the current Web 2.0 technology it is possible to provide new possibilities for social ...
Human-robot interaction could be improved by designing robots that engage in adaptive dialogue with users. An adaptive robot could estimate the information needs of individuals an...
Cristen Torrey, Aaron Powers, Matthew Marge, Susan...
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...