950 search results - page 135 / 190 » Tool Support for Model Checking of Web Application Designs |
ADBIS
2004
Springer
14 years 1 months ago
2004
Springer
Web caching keeps single Web objects ready somewhere in caches in the user-to-server path, whereas database caching uses fullfledged database management systems as caches to adapt...
WCRE
1999
IEEE
14 years 18 hour ago
1999
IEEE
Java applets have been used increasingly on web sites to perform client-side processing and provide dynamic content. While many web site analysis tools are available, their focus ...
JSW
2007
13 years 7 months ago
2007
Abstract—Frameworks are a key technology to reduce software development costs and shorten the time-to-market. However, framework complexity presents reuse problems that limit its...
BIBM
2008
IEEE
14 years 2 months ago
2008
IEEE
Biologists are often interested to query published phylogenetic data for research purposes. PhyQL, a web-based visual phylogenetic query engine, can be quite useful on this regard...
BMCBI
2010
13 years 7 months ago
2010
Background: New "next generation" DNA sequencing technologies offer individual researchers the ability to rapidly generate large amounts of genome sequence data at drama...