3765 search results - page 660 / 753 » Modelling Adaptive Web Applications |
151
click to vote
CAV
2009
Springer
16 years 3 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
109
click to vote
SAC
2009
ACM
15 years 9 months ago
2009
ACM
XML data warehouses form an interesting basis for decisionsupport applications that exploit heterogeneous data from multiple sources. However, XML-native database systems currentl...
125
click to vote
AINA
2007
IEEE
15 years 9 months ago
2007
IEEE
The widening gap between CPU and memory speed has made caches an integral feature of modern highperformance processors. The high degree of configurability of cache memory can requ...
139
click to vote
SMI
2006
IEEE
15 years 8 months ago
2006
IEEE
There is a growing need to extract features from point sets for purposes like model classification, matching, and exploration. We introduce a technique for segmenting a point-sam...
113
click to vote
FASE
2004
Springer
15 years 8 months ago
2004
Springer
Context-aware computing refers to a computing paradigm in which the behavior of individual components is determined by the circumstances in which they find themselves to an extent...