799 search results - page 36 / 160 » Refinement and Separation Contexts |
234
click to vote
POPL
2005
ACM
16 years 3 months ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
129
click to vote
ICWS
2007
IEEE
15 years 4 months ago
2007
IEEE
Service Oriented Architectures (SOAs) are constantly gaining ground for the provision of business to business as well as user-centric services, mainly in the form of Web Services ...
112
click to vote
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
Interface theories have been proposed to support incremental design and independent implementability. Incremental design means that the compatibility checking of interfaces can pr...
113
click to vote
DAWAK
2001
Springer
15 years 7 months ago
2001
Springer
: This paper addresses issues related to Knowledge Management in the context of heterogeneous data warehouse environments. The traditional notion of data warehouse is evolving into...
160
click to vote
AIML
2000
15 years 4 months ago
2000
Notions of context for natural language interpretation are factored in terms of three processes: translation, entailment and attunement. The processes are linked by accessibility r...