950 search results - page 14 / 190 » Tool Support for Model Checking of Web Application Designs |
CBSE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...
AVI
2010
13 years 9 months ago
2010
In this paper, we discuss a method and the associated tool support able to exploit Web services in model-based user interface development, starting with the results of a task anal...
CAISE
2001
Springer
14 years 4 days ago
2001
Springer
Reactive systems are systems whose purpose is to maintain a certain desirable state of affairs in their environment, and include information systems, groupware, workflow systems,...
DOCENG
2011
ACM
12 years 7 months ago
2011
ACM
Many Web-based geographic applications have been developed in various domains, such as tourism, education, surveillance and military. However, developing such applications is a cu...
ICWE
2007
Springer
14 years 1 months ago
2007
Springer
In this paper we propose a framework for the creation of adaptive portal solutions for the Semantic Web. It supports different target domains in a single portal instance. We propo...