3779 search results - page 510 / 756 » Linear Consistency Testing |
138
Voted
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
142
click to vote
METRICS
2005
IEEE
15 years 10 months ago
2005
IEEE
As mobile applications become more pervasive, the need for assessing their quality, particularly in terms of efficiency (i.e. performance and resource utilisation), increases. Alt...
118
click to vote
SIBGRAPI
2005
IEEE
15 years 10 months ago
2005
IEEE
We present a lossless compressor for multispectral images that exploits interband correlations. Each band is divided into blocks, to which a wavelet transform is applied. The wave...
126
click to vote
PADS
2005
ACM
15 years 10 months ago
2005
ACM
Parallel and distributed simulations enable the analysis of complex systems by concurrently exploiting the aggregate computation power and memory of clusters of execution units. I...
125
click to vote
AIRWEB
2005
Springer
15 years 10 months ago
2005
Springer
This paper investigates the influence of different page features on the ranking of search engine results. We use Google (via its API) as our testbed and analyze the result rankin...