882 search results - page 139 / 177 » A Taste of Rewrite Systems |
111
click to vote
ENTCS
2006
15 years 16 days ago
2006
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...
130
click to vote
JOT
2010
14 years 11 months ago
2010
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an importa...
209
Voted
POPL
2005
ACM
16 years 25 days 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...
93
Voted
ICEIS
2005
IEEE
15 years 6 months ago
2005
IEEE
The World Wide Web contains a huge and increasing volume of information. The web warehouse is an efficient and effective means to facilitate utilization of information on the Web,...
109
Voted
ADBIS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Query reformulation techniques based on semantic knowledge have been used in two ways in database management systems, namely for query optimization and for data integrati...