387 search results - page 26 / 78 » Using Formal Concept Analysis to Establish Model Dependencie... |
VIS
2004
IEEE
14 years 9 months ago
2004
IEEE
In this paper, we present an approach for monitoring the positions of vector field singularities in time-dependent datasets. The concept of singularity index is discussed and exte...
TCS
2002
13 years 7 months ago
2002
This paper discusses a mathematical concept of language that models both artificial and natural languages and thus provides a framework for a unified language processing methodolo...
ECMDAFA
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
IJSWIS
2008
13 years 7 months ago
2008
One of the main strengths of the web is that it allows any party of its global community to share information with any other party. This goal has been achieved by making use of a u...
SAFECOMP
1998
Springer
13 years 11 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...