329 search results - page 6 / 66 » Formal Support for Representing and Automating Semantic Inte... |
KBSE
1997
IEEE
14 years 2 days ago
1997
IEEE
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...
EUROPLOP
2006
13 years 9 months ago
2006
Extensibility and maintainability of software becomes more an issue as the complexity of the software development process rises. Design patterns in the sense of Gamma et al. [3] a...
ICNP
1999
IEEE
14 years 5 days ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
ICWS
2004
IEEE
13 years 9 months ago
2004
IEEE
The vision of the Semantic Web is to reduce manual discovery and usage of Web resources (documents and services) and to allow software agents to automatically identify these Web r...
COSIT
1999
Springer
14 years 5 days ago
1999
Springer
The project CommonGIS1 aims at building a system allowing users to view and analyze geographically referenced thematic data. The system is oriented to the general public, i.e. peop...