Sciweavers

434 search results - page 11 / 87
» The Case for Browser Provenance
Sort
View
SAS
2012
Springer
226views Formal Methods» more  SAS 2012»
11 years 11 months ago
A Structural Soundness Proof for Shivers's Escape Technique - A Case for Galois Connections
Abstract. Shivers’s escape technique enables one to analyse the control flow of higher-order program fragments. It is widely used, but its soundness has never been proven. In th...
Jan Midtgaard, Michael D. Adams 0001, Matthew Migh...
CGF
2002
61views more  CGF 2002»
13 years 8 months ago
Web 2D Graphics File Formats
The earliest Web browsers focussed on the display of textual information. When graphics were added, essentially only image graphics and image file formats were supported. For a si...
David A. Duce, Ivan Herman, F. Robert A. Hopgood
ICSM
2005
IEEE
14 years 2 months ago
Towards Employing Use-Cases and Dynamic Analysis to Comprehend Mozilla
This paper presents an approach for comprehending large software systems using views that are created by subjecting the software systems to dynamic analysis under various use-case...
Maher Salah, Spiros Mancoridis, Giuliano Antoniol,...
CONTEXT
2007
Springer
14 years 2 months ago
User Profiling with Hierarchical Context: An e-Retailer Case Study
In e-commerce applications, no systematic research has been provided to evaluate if the use of a detailed and rich contextual representation improves the user modeling predictive p...
Cosimo Palmisano, Alexander Tuzhilin, Michele Gorg...
IWPC
1997
IEEE
14 years 24 days ago
A Case Study of Domain-based Program Understanding
Program understanding relates a computer program to the goals and requirements it is designed to accomplish. Understanding techniques that rely only on source code analysis are li...
Richard Clayton, Spencer Rugaber, Lyman Taylor, Li...