10396 search results - page 1652 / 2080 » Testing Web Applications |
209
click to vote
JSS
2006
15 years 6 months ago
2006
Model is a kind of codified knowledge that has been verified in solving problems. Solving a complex problem usually needs a set of models. Using components, the composition of a s...
162
click to vote
JUCS
2006
15 years 6 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
200
click to vote
NAR
2008
15 years 6 months ago
2008
CMGSDB (Database for Computational Modeling of Gene Silencing) is an integration of heterogeneous data sources about Caenorhabditis elegans with capabilities for compositional dat...
164
click to vote
KI
2006
Springer
15 years 6 months ago
2006
Springer
The desire to share and reuse knowledge has led to the establishment of the Web Ontology Language (OWL) knowledge representation language. The Naturnet-Redime project needs to shar...
163
click to vote
FIRSTMONDAY
2007
15 years 6 months ago
2007
Social networks on the web are growing dramatically in size and number. The huge popularity of sites like MySpace, Facebook, and others has drawn in hundreds of millions of users,...