3197 search results - page 24 / 640 » Web Engineering Revisited |
SCAM
2008
IEEE
14 years 3 months ago
2008
IEEE
AJAX is a web application programming technique that allows portions of a web page to be loaded dynamically, separate from other parts of the web page. This gives the user a much ...
CGO
2010
IEEE
14 years 3 months ago
2010
IEEE
Tiling, a key transformation for optimizing programs, has been widely studied in literature. Parameterized tiled code is important for auto-tuning systems since they often execute...
VMCAI
2009
Springer
14 years 3 months ago
2009
Springer
Given a 3-valued abstraction of a program (possibly generated using rogram analysis and predicate abstraction) and a temporal logic formula, generalized model checking (GMC) checks...
C3S2E
2008
ACM
13 years 11 months ago
2008
ACM
We take another look at the 2DR-tree. In particular, we revisit its node structure, validity rules and the insertion strategy. The 2DR-tree uses 2D nodes so that the relationships...
WWW
2001
ACM
14 years 9 months ago
2001
ACM
We have developed a location-based search system for web documents on the Internet. This system can find web documents based on the distance between locations that are described i...