288 search results - page 1 / 58 » Model Checking the World Wide Web |
CAV
2001
Springer
13 years 11 months ago
2001
Springer
WETICE
1998
IEEE
13 years 11 months ago
1998
IEEE
We present an integrated secure group access control tool to support workgroups on the World-Wide Web. The system enables user authentication, encrypted communication and fine-gra...
ACSW
2004
13 years 8 months ago
2004
Parallel corpus is a rich linguistic resource for various multilingual text management tasks, including crosslingual text retrieval, multilingual computational linguistics and mul...
IEEEHPCS
2010
13 years 6 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
CORR
2004
Springer
13 years 7 months ago
2004
Springer
We propose a model for the World Wide Web graph that couples the topological growth with the traffic's dynamical evolution. The model is based on a simple traffic-driven dynam...