Sciweavers

17049 search results - page 341 / 3410
» cans 2007
Sort
View
MUE
2007
IEEE
125views Multimedia» more  MUE 2007»
16 years 1 months ago
A Grid Based Simulation Environment for Mobile Distributed Applications
Using simulation environments to support mobile distributed application development has many benefits. Since mobile devices can be modeled as autonomous intelligent agents, the mu...
Dawit Mengistu, Paul Davidsson, Lars Lundberg
SEMCO
2007
IEEE
16 years 1 months ago
Thematic Role Based Generation of UML Models from Real World Requirements
Model-driven development depends on good initial models. Creating these models by hand is a challenging task, because of complex specification documents and change requests. We p...
Tom Gelhausen, Walter F. Tichy
ESWS
2007
Springer
16 years 28 days ago
Measuring Inconsistencies in Ontologies
Abstract. In this paper, we propose a novel approach to measure inconsistencies in ontologies based on Shapley values, which are originally proposed for game theory. This measure c...
Xi Deng, Volker Haarslev, Nematollaah Shiri
TGC
2007
Springer
16 years 27 days ago
Elimination of Ghost Variables in Program Logics
Abstract. Ghost variables are assignable variables that appear in program annotations but do not correspond to physical entities. They are used to facilitate specification and ver...
Martin Hofmann, Mariela Pavlova
CORR
2007
Springer
67views Education» more  CORR 2007»
15 years 6 months ago
Interroger un corpus par le sens
In textual knowledge management, statistical methods prevail. Nonetheless, some difficulties cannot be overcome by these methodologies. I propose a symbolic approach using a comp...
Bernard Jacquemin