Sciweavers

1587 search results - page 73 / 318
» The Semantics of Extended SOFL
Sort
View
OTM
2007
Springer
14 years 1 months ago
Semantically Resolving Type Mismatches in Scientific Workflows
Scientists are increasingly utilizing Grids to manage large data sets and execute scientific experiments on distributed resources. Scientific workflows are used as means for modeli...
Kheiredine Derouiche, Denis A. Nicole
IV
2006
IEEE
130views Visualization» more  IV 2006»
14 years 1 months ago
Ontology Driven Visualisation of Maps with SVG - An Example for Semantic Programming
This article describes a particular use of ontologies for visualising maps in a browser window. Geographic data are represented as instances of concepts in an ontology of transpor...
Frank Ipfelkofer, Bernhard Lorenz, Hans Jürge...
ER
2005
Springer
153views Database» more  ER 2005»
14 years 1 months ago
Automatically Grounding Semantically-Enriched Conceptual Models to Concrete Web Services
Abstract. The paper provides a conceptual framework for designing and executing business processes using semantic Web services. We envision a world in which a designer defines a ...
Eran Toch, Avigdor Gal, Dov Dori
IICS
2003
Springer
14 years 27 days ago
Semantic Geocast Using a Self-organizing Infrastructure
Geocast mechanisms allow a sender to transmit network packets to receivers residing at a certain geographical region. Geocast forms the basis for a number of location-based service...
Jörg Roth
TABLEAUX
1998
Springer
13 years 12 months ago
Fibring Semantic Tableaux
The methodology of fibring is a successful framework for combining logical systems based on combining their semantics. In this paper, we extend the fibring approach to calculi for ...
Bernhard Beckert, Dov M. Gabbay