3765 search results - page 99 / 753 » Modelling Adaptive Web Applications |
153
click to vote
WSE
2002
IEEE
15 years 11 months ago
2002
IEEE
Various approaches can be used to migrate legacy applications to the Web. In particular, migrating dataintensive legacy applications (e.g. traditional application for business man...
171
click to vote
MSWIM
2003
ACM
15 years 11 months ago
2003
ACM
– Wireless mobile access to the Internet is an indispensable tool for private and corporate users alike; but both industry and academia recognize the need for better service. Imp...
186
click to vote
SEMWEB
2010
Springer
15 years 1 months ago
2010
Springer
The modalities of search and browse dominate current thinking about interaction with the Web. Given the Web's origins as a global hypertext system, it is understandable that t...
185
click to vote
OTM
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents a formal notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our notation specifies the messages that can b...
159
click to vote
KBSE
2005
IEEE
15 years 12 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...