339 search results - page 13 / 68 » Semantics and Execution of Domain Specific Models |
SAINT
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper we outline a framework for performing automated discovery, composition and execution of web services based solely on the information available in interface descripti...
TSE
1998
13 years 7 months ago
1998
—New protocols are often useful, but are hard to implement well. Protocol synthesis is a solution, but synthesized protocols can be slow. Implementing protocols will be even more...
DAGSTUHL
2003
13 years 9 months ago
2003
Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e...
LREC
2008
13 years 9 months ago
2008
This paper reports on the main phases of a research which aims at enhancing a maritime terminological database by means of a set of terms belonging to meteorology. The structure o...
FATES
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...