2500 search results - page 139 / 500 » Logical Semantics of Modularisation |
191
click to vote
JUCS
2002
15 years 6 months ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
197
click to vote
ICDE
2002
IEEE
15 years 11 months ago
2002
IEEE
Unity is an architecture for integrating relational databases that performs three processes: metadata capture, semantic integration, and query formulation and execution. The found...
157
click to vote
SIGIR
1993
ACM
15 years 10 months ago
1993
ACM
According to the logical model of Information Retrieval (IR), the task of IR can be described as the extraction, from a given document base, of those documents d that, given a que...
173
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
A framework for modeling Semantic Web Service is proposed. It is based on Description Logic (DL), hence it is endowed with a formal semantics and, in addition, it allows for expres...
131
click to vote
FUIN
2008
15 years 6 months ago
2008
Policies are used to describe rules that are employed to modify (often distributed) system behaviour at runtime. Typically policies are created by many different people and there a...