Sciweavers

2672 search results - page 417 / 535
» Hybridizing Concept Languages
Sort
View
ECOOP
1994
Springer
14 years 1 months ago
A Geographic Environmental Modeling System: Towards an Object-Oriented Framework
This paper describes our experience in developing a software system for use in the environmental modeling community. The primary user of this software is intended to be a scientis...
Bernd Bruegge, Erik Riedel
ALP
1992
Springer
14 years 1 months ago
Definitional Trees
Rewriting is a computational paradigm that specifies the actions, but not the control. We introduce a hierarchical structure repreat a high level of abstraction, a form of control....
Sergio Antoy
IFIP
1992
Springer
14 years 1 months ago
Intelligent Access to Data and Knowledge Bases via User's Topics of Interest
Retrieving relevant information in Data and Knowledge Bases containing a large number of di erent types of information is a non trivial problem. That is the reason why, in areas l...
Sylvie Cazalens, Robert Demolombe
ACMICEC
2007
ACM
127views ECommerce» more  ACMICEC 2007»
14 years 1 months ago
Symbolic model checking of institutions
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
Francesco Viganò, Marco Colombetti
DEXAW
2007
IEEE
128views Database» more  DEXAW 2007»
14 years 27 days ago
Sharing Data on the Grid using Ontologies and distributed SPARQL Queries
The vision of the Semantic Web is to make Web content machine-readable. To describe data, the Resource Description Framework has been extended with a schema-level and description ...
Andreas Langegger, Martin Blöchl, Wolfram W&o...