3239 search results - page 377 / 648 » A Logical Process Calculus |
147
Voted
VMCAI
2004
Springer
15 years 9 months ago
2004
Springer
This paper shows how to achieve, under certain conditions, abstract-interpretation ms that enjoy the best possible precision for a given abstraction. The key idea is a simple proce...
164
click to vote
ICDE
2002
IEEE
15 years 9 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...
140
Voted
GIL
2009
15 years 1 months ago
2009
: Regulations and standards are playing an increasingly important role in crop production. Common to the vast majority of these is that they are written in a natural language which...
150
click to vote
DOLAP
2008
ACM
15 years 5 months ago
2008
ACM
The development of data warehouses is based on a threestage process that starts specifying both the static and dynamic properties of on-line analytical processing (OLAP) applicati...
164
click to vote
ADBIS
2006
Springer
15 years 7 months ago
2006
Springer
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...