1027 search results - page 172 / 206 » Representing and Reasoning with Operational Semantics |
AAAI
2008
14 years 3 days ago
2008
Legacy system data models can interoperate only if their syntactic and semantic differences are resolved. To address this problem, we developed the Intelligent Mapping Toolkit (IM...
ECIS
2000
13 years 11 months ago
2000
: Only about 5% of the companies which could profit from EDI actually use it. The main reason is that especially small and medium-sized enterprises (SMEs) try to avoid the consider...
SDMW
2010
Springer
13 years 8 months ago
2010
Springer
In an outsourced database framework, clients place data management with specialized service providers. Of essential concern in such frameworks is data privacy. Potential clients ar...
DALT
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. Norm-aware agents are able to reason about the obligations, permissions and prohibitions that affect their operation. While much work has focused on the creation of such ...
APLAS
2006
ACM
14 years 3 months ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...