12741 search results - page 3 / 2549 » Editorial and call for papers |
ELPUB
2008
ACM
13 years 7 months ago
2008
ACM
This paper highlights some of the issues that have been reported in surveys carried out by the RIOJA (Repository Interface for Overlaid JournalArchives) project (http://www.ucl.ac...
CHI
2011
ACM
12 years 9 months ago
2011
ACM
Flexible displays potentially allow for interaction styles that resemble those used in paper documents. Bending the display, e.g., to page forward, shows particular promise as an ...
ECOOP
2012
Springer
11 years 7 months ago
2012
Springer
Abstract. Since call graphs are an essential starting point for all interprocedural analyses, many tools and frameworks have been developed to generate the call graph of a given pr...
SIGCOMM
2012
ACM
11 years 7 months ago
2012
ACM
Location prediction using mobile phone traces has attracted increasing attention. Owing to the irregular user mobility patterns, it still remains challenging to predict user locat...
JUCS
2007
13 years 5 months ago
2007
: This introductory paper gives some historical background to the emergence of formal methods, overviews what subsequently happened, and surveys prospects for the future. Brief