Sciweavers

1320 search results - page 59 / 264
» A View Based Analysis of Workflow Modeling Languages
Sort
View
GG
2010
Springer
15 years 4 months ago
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars
Abstract. Triple Graph Grammars (TGGs) are a well-established concept for the specification of model transformations. In previous work we have formalized and analyzed already cruc...
Frank Hermann, Hartmut Ehrig, Fernando Orejas, Ulr...
ISOLA
2010
Springer
15 years 3 months ago
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
Reiner Hähnle
AIRS
2006
Springer
15 years 9 months ago
Word Sense Language Model for Information Retrieval
This paper proposes a word sense language model based method for information retrieval. This method, differing from most of traditional ones, combines word senses defined in a thes...
Liqi Gao, Yu Zhang, Ting Liu, Guiping Liu
BMCBI
2004
131views more  BMCBI 2004»
15 years 5 months ago
A web services choreography scenario for interoperating bioinformatics applications
Background: Very often genome-wide data analysis requires the interoperation of multiple databases and analytic tools. A large number of genome databases and bioinformatics applic...
Remko de Knikker, Youjun Guo, Jin-long Li, Albert ...
AICT
2006
IEEE
210views Communications» more  AICT 2006»
16 years 2 days ago
Model-Based Analysis of Obligations in Web Service Choreography
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
Howard Foster, Sebastián Uchitel, Jeff Mage...