950 search results - page 37 / 190 » Tool Support for Model Checking of Web Application Designs |
LADS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Web applications represent an important category of applications that owe much of their popularity to the ubiquitous accessibility using standard web browsers. The comple...
DSD
2007
IEEE
13 years 11 months ago
2007
IEEE
We present a component-based framework and its supporting simulation tool for joint software-hardware modelling and performance analysis of multiprocessor embedded systems. This j...
ICWE
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In recent years numerous Web application modeling languages have been developed and others improved. There has, however, been little research on how these languages may b...
ICSE
2011
IEEE-ACM
12 years 11 months ago
2011
IEEE-ACM
Highly interactive web applications that offer user experience and responsiveness of desktop applications are becoming increasingly popular. They are often composed out of visual...
EKAW
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Knowledge-intensive methods that can altogether be characterised as deductive web mining (DWM) already act as supporting technology for building the semantic web. Reusabl...