Sciweavers

3481 search results - page 365 / 697
» Exploration in Relational Worlds
Sort
View
170
Voted
ER
2007
Springer
141views Database» more  ER 2007»
16 years 1 months ago
Ontology-Driven Business Modelling: Improving the Conceptual Representation of the REA Ontology
Business modelling research is increasingly interested in exploring how domain ontologies can be used as reference models for business models. The Resource Event Agent (REA) ontolo...
Frederik Gailly, Geert Poels
ESOP
2007
Springer
16 years 1 months ago
Structured Communication-Centred Programming for Web Services
This paper relates two different paradigms of descriptions of communication behaviour, one focussing on global message flows and another on end-point behaviours, using formal cal...
Marco Carbone, Kohei Honda, Nobuko Yoshida
FOSSACS
2007
Springer
16 years 1 months ago
Logical Reasoning for Higher-Order Functions with Local State
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
Nobuko Yoshida, Kohei Honda, Martin Berger
GECCO
2007
Springer
185views Optimization» more  GECCO 2007»
16 years 1 months ago
Enhanced forma analysis of permutation problems
Forma analysis provides an approach to formally derive domain specific operators based on domain-independent operator templates by manipulating a set of equivalence relations (i....
Tao Gong, Andrew Tuson
SEMWEB
2007
Springer
16 years 28 days ago
Ontology-based Semantic Relevance Measure
Semantic relevance among information resources can play an effective role in information retrieval, and there are several different approaches to measure semantic similarities. H...
Sang Keun Rhee, Jihye Lee, Myon-Woong Park