851 search results - page 127 / 171 » History Effects and Verification |
WWW
2006
ACM
16 years 15 days ago
2006
ACM
The poster describes a fast, simple, yet accurate method to associate large amounts of web resources stored in a search engine database with geographic locations. The method uses ...
WWW
2005
ACM
16 years 15 days ago
2005
ACM
Server-side programming is one of the key technologies that support today's WWW environment. It makes it possible to generate Web pages dynamically according to a user's...
CHI
2004
ACM
16 years 6 days ago
2004
ACM
While much basic research exists on the effects of various visual properties on visual search, the application of such research to real-world tasks is lacking. The purpose of this...
182
click to vote
POPL
2004
ACM
16 years 4 days ago
2004
ACM
We prove the decidability of the quantifier-free, static fragment of ambient logic, with composition adjunct and iteration, which corresponds to a kind of regular expression langu...
101
click to vote
ICSE
2004
IEEE-ACM
15 years 12 months ago
2004
IEEE-ACM
The deployment of software components frequently fails because dependencies on other components are not declared explicitly or are declared imprecisely. This results in an incompl...