2963 search results - page 201 / 593 » On the Integration of Web Modeling Languages |
149
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
This paper presents the XML/XSL approach to the development of a web environment for the formal speci cation language Object-Z. The projection techniques and tools from Object-Z (...
153
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems us...
202
click to vote
IIWAS
2004
15 years 8 months ago
2004
: This paper addresses two important aspects of Web service compositions - on the one hand, flexibility of Web service (WS) compositions, and on the other the automatic development...
208
click to vote
SBP
2011
Springer
15 years 1 months ago
2011
Springer
The World Wide Web is a potentially valuable source of information about the cognitive characteristics of cultural groups. However, attempts to use the Web in the context of cultur...
169
click to vote
COLING
2008
15 years 8 months ago
2008
User logs of search engines have recently been applied successfully to improve various aspects of web search quality. In this paper, we will apply pairs of user queries and snippe...