1129 search results - page 1 / 226 » Formal Verification of Websites |
ENTCS
2008
13 years 4 months ago
2008
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
CSFW
2012
IEEE
11 years 7 months ago
2012
IEEE
—Social sign-on and social sharing are becoming an ever more popular feature of web applications. This success is largely due to the APIs and support offered by prominent social ...
ICIW
2007
IEEE
13 years 8 months ago
2007
IEEE
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...
ACMICEC
2007
ACM
13 years 9 months ago
2007
ACM
Website success hinges on how credible the consumers consider the information on the website. Unless consumers believe the website's information is credible, they are not lik...
ICWE
2007
Springer
13 years 11 months ago
2007
Springer