4469 search results - page 636 / 894 » A Language for Role Specifications |
169
click to vote
MKWI
2008
15 years 8 months ago
2008
: Today, electronic cross-company collaboration is about to gain significant momentum, but still shows weaknesses with respect to productivity, flexibility and quality: A lack of s...
132
click to vote
WOTUG
2008
15 years 8 months ago
2008
Abstract. This paper considers the issues involved in translating specifications described in the CSP B formal method into Handel-C. There have previously been approaches to transl...
165
click to vote
ACL
2006
15 years 8 months ago
2006
We claim that existing specification languages for tree based grammars fail to adequately support identifier managment. We then show that XMG (eXtensible MetaGrammar) provides a s...
208
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
In order to tackle the entire web service life cycle, it is necessary to face how to model systems based on service functionality and also how to add extra-functional properties to...
205
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...