288 search results - page 1 / 58 » Model Checking the World Wide Web |
CAV
2001
Springer
13 years 9 months ago
2001
Springer
WETICE
1998
IEEE
13 years 10 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 7 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 4 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 5 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...