Sciweavers

3564 search results - page 3 / 713
» Evaluating a Formal Modelling Language
Sort
View
123
Voted
UML
2005
Springer
15 years 9 months ago
An Ontology-Based Approach for Evaluating the Domain Appropriateness and Comprehensibility Appropriateness of Modeling Languages
In this paper we present a framework for the evaluation and (re)design of modeling languages. We focus here on the evaluation of the suitability of a language to model a set or rea...
Giancarlo Guizzardi, Luís Ferreira Pires, M...
128
Voted
WSPI
2004
15 years 4 months ago
A Formal Theory of Conceptual Modeling Universals
Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL)...
Giancarlo Guizzardi, Gerd Wagner, Marten van Sinde...
125
Voted
ICDM
2008
IEEE
148views Data Mining» more  ICDM 2008»
15 years 10 months ago
Formal Models for Expert Finding on DBLP Bibliography Data
Finding relevant experts in a specific field is often crucial for consulting, both in industry and in academia. The aim of this paper is to address the expert-finding task in a...
Hongbo Deng, Irwin King, Michael R. Lyu
152
Voted
COSIT
2007
Springer
126views GIS» more  COSIT 2007»
15 years 7 months ago
Evaluation of a Semantic Similarity Measure for Natural Language Spatial Relations
Consistent and flawless communication between humans and machines is the precondition for a computer to process instructions correctly. While machines use well-defined languages an...
Angela Schwering
136
Voted
FMICS
2009
Springer
15 years 10 months ago
Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...
Matthias Raffelsieper, Mohammad Reza Mousavi, Jan-...