373 search results - page 50 / 75 » Model Checking Techniques applied to the design of Web Servi... |
SAC
2005
ACM
15 years 3 months ago
2005
ACM
In this paper, two of the currently available Web Engineering solutions (UWE and OO-H) are analysed with regard to the question whether websites created with them and their tools ...
BMCBI
2008
14 years 9 months ago
2008
imately 20 million abstracts. Browsing such a huge repository to find relevant information as well as providing elearning service requires new generation of interfaces. Methods suc...
111
click to vote
ESAW
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Complexity in software design refers to the difficulty in understanding and manipulating the set of concepts, models and techniques involved in the design process. Agents...
HPDC
2008
IEEE
15 years 4 months ago
2008
IEEE
If the model of free-form queries, which has proved successful for HTML based search on the Web, is made available for Grid services, it will serve as a powerful tool for scientis...
OTM
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The modeling, design, and implementation of inter-organizational systems (IOS) is a challenging new problem. In contrast to previous systems, where components have clearl...