3012 search results - page 94 / 603 » Testing Processes of Web Applications |
ESWS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Semantic Web technologies such as RDF are usually incorporated in the infrastructure of desktop and web applications and can currently not be entirely deployed on mobile ...
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
MODELS
2007
Springer
15 years 4 months ago
2007
Springer
A navigation model describes the possible sequences of web pages a user can visit, and a request routing model describes how server side components handle each request. Earlier we...
CASCON
2006
14 years 11 months ago
2006
UML activity models (activities, for short) have become widely accepted for specifying the dynamic behavior of use cases. For an adequate specification of use cases in the context...
ZUM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...