Sciweavers

361 search results - page 32 / 73
» Automatic web accessibility metrics: Where we are and where ...
Sort
View
ESOP
2008
Springer
13 years 10 months ago
Semi-persistent Data Structures
A data structure is said to be persistent when any update operation returns a new structure without altering the old version. This paper introduces a new notion of persistence, cal...
Sylvain Conchon, Jean-Christophe Filliâtre
HPCA
2005
IEEE
14 years 9 months ago
Transition Phase Classification and Prediction
Most programs are repetitive, where similar behavior can be seen at different execution times. Proposed on-line systems automatically group these similar intervals of execution in...
Jeremy Lau, Stefan Schoenmackers, Brad Calder
COMGEO
1999
ACM
13 years 8 months ago
Visualizing geometric algorithms over the Web
The visual nature of geometry applications makes them a natural area where visualization can be an effective tool for demonstrating algorithms. In this paper we propose a new mode...
James E. Baker, Isabel F. Cruz, Giuseppe Liotta, R...
CORR
2010
Springer
167views Education» more  CORR 2010»
13 years 7 months ago
Collaborative Astronomical Image Mosaics
This chapter describes how astronomical imaging survey data have become a vital part of modern astronomy, how these data are archived and then served to the astronomical community...
Daniel S. Katz, G. Bruce Berriman, Robert G. Mann
ICWS
2004
IEEE
13 years 10 months ago
Logic-based Web Services Composition: From Service Description to Process Model
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses Semantic Web service language (DAML-S) f...
Jinghai Rao, Peep Küngas, Mihhail Matskin