2685 search results - page 389 / 537 » A Formal Semantics for SPKI |
169
click to vote
ICDT
2010
ACM
15 years 11 months ago
2010
ACM
We examine schema mappings from a type-theoretic perspective and aim to facilitate and formalize the reuse of mappings. Starting with the mapping language of Clio, we present a ty...
181
click to vote
BTW
2001
Springer
15 years 11 months ago
2001
Springer
Mediators – used in federated information systems – provide a homogeneous read-only access to a set of autonomous information sources. To achieve semantic integration of the h...
163
click to vote
ESOP
2001
Springer
15 years 11 months ago
2001
Springer
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [CG98]. We consider an Ambient Calculus where ambients...
186
click to vote
CHARME
1999
Springer
15 years 10 months ago
1999
Springer
Hardware description languages (HDLs) are used today to describe circuits at all levels. In large HDL programs, there is a need for source code reduction techniques to address a my...
161
click to vote
COSIT
1999
Springer
15 years 10 months 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...