Sciweavers

3429 search results - page 37 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
PDP
2009
IEEE
14 years 2 months ago
Two Formal Semantics of a Subset of the Paderborn University BSPlib
PUB (Paderborn University BSPLib) is a C library supporting the development of Bulk-Synchronous Parallel (BSP) algorithms. The BSP model allows an estimation of the execution time...
Frédéric Gava, Jean Fortin
IFM
1999
Springer
14 years 1 hour ago
Integration Problems in Telephone Feature Requirements
The feature interaction problem is prominent in telephone service development. Through a number of case studies, we have discovered that no single semantic framework is suitable f...
J. Paul Gibson, Geoff Hamilton, Dominique Mé...
WSC
2008
13 years 10 months ago
Using OMG'S SYSML to support simulation
Currently, system engineering problems are solved using a wide range of domain-specific models and corresponding languages. It is unlikely that a single unified modeling language ...
Christiaan J. J. Paredis, Thomas Johnson
EDOC
2006
IEEE
14 years 1 months ago
Semi-Automatic Distribution Pattern Modeling of Web Service Compositions using Semantics
Enterprise systems are frequently built by combining a number of discrete Web services together, a process termed composition. There are a number of architectural configurations ...
Ronan Barrett, Claus Pahl
CONTEXT
1999
Springer
14 years 15 hour ago
Putting Similarity Assessments into Context: Matching Functions with the User's Intended Operations
This paper presents a practical application of context for the evaluation of semantic similarity. The work is based on a new model for the assessment of semantic similarity among ...
M. Andrea Rodríguez, Max J. Egenhofer