2719 search results - page 156 / 544 » Exposing Application Alternatives |
165
click to vote
IJIM
2007
15 years 6 months ago
2007
— Nowadays there are different evaluation methods focused in the assessment of the usability of telematic methods. The assessment of 3rd generation web environments evaluates the...
161
click to vote
ESWA
2002
15 years 6 months ago
2002
A personalized product recommendation is an enabling mechanism to overcome information overload occurred when shopping in an Internet marketplace. Collaborative filtering has been...
147
click to vote
TODAES
1998
15 years 6 months ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
134
click to vote
TOPLAS
2002
15 years 6 months ago
2002
A number of existing compiler techniques hinge on the analysis of array accesses in the program. The most important task in array access analysis is to collect the information abo...
175
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Code specialization is a way to obtain significant improvement in the performance of an application. It works by exposing values of different parameters in source code. The availa...