Sciweavers

529 search results - page 57 / 106
» Web graph analyzer tool
Sort
View
RTA
2011
Springer
12 years 11 months ago
Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting
In [5, 15] we presented an approach to prove termination of non-recursive Java Bytecode (JBC) programs automatically. Here, JBC programs are first transformed to finite terminat...
Marc Brockschmidt, Carsten Otto, Jürgen Giesl
ICSM
2006
IEEE
14 years 2 months ago
Software Feature Understanding in an Industrial Setting
Software Engineers frequently need to locate and understand the code that implements a specific user feature of a large system. This paper reports on a study by Motorola Inc. and ...
Michael Jiang, Michael Groble, Sharon Simmons, Den...
ICWE
2011
Springer
13 years 5 days ago
Reusing Web Application User-Interface Controls
Abstract. Highly interactive web applications that offer user experience and responsiveness of desktop applications are becoming increasingly popular. They are often composed out ...
Josip Maras, Maja Stula, Jan Carlson
WWW
2007
ACM
14 years 9 months ago
Investigating behavioral variability in web search
Understanding the extent to which people'ssearch behaviors differ in terms of the interaction flow and information targeted is important in designing interfaces to help World...
Ryen W. White, Steven M. Drucker
CHI
2007
ACM
14 years 9 months ago
Web page revisitation revisited: implications of a long-term click-stream study of browser usage
This paper presents results of an extensive long-term clickstream study of Web browser usage. Focusing on character and challenges of page revisitation, previous findings from sev...
Hartmut Obendorf, Harald Weinreich, Eelco Herder, ...