950 search results - page 41 / 190 » Tool Support for Model Checking of Web Application Designs |
ICFEM
2005
Springer
14 years 1 months ago
2005
Springer
The development of Web Services has transformed the World Wide Web into a more application-aware information portal. The various standards ensure that Web Services are interpretabl...
CSREAPSC
2006
13 years 9 months ago
2006
- This paper uses and extends the ideas of a multi-device interface design approach from a previous work developing a framework for mobile access to web systems. It can adapt any d...
SOFSEM
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Large information spaces and complex functionality of contemporary systems together with the advent of the Semantic Web are big challenges for the design of simple yet po...
ISORC
2005
IEEE
14 years 1 months ago
2005
IEEE
: While the conventional remote method invocation mechanism has been considered for a long time as the primary approach for facilitating interactions among real-time objects, a mul...
WEBNET
2000
13 years 9 months ago
2000
: Changing user skills, available infrastructure, and work practices have caused many differences in the authoring support provided by the Walden's Paths project since its con...