4290 search results - page 166 / 858 » Formal Approaches to Teamwork |
178
click to vote
AINA
2005
IEEE
16 years 7 days ago
2005
IEEE
The number of web-based information systems has been increasing since Internet became the global open network accessible for all. The recent Semantic Web that provides supplementa...
143
click to vote
CAISE
2005
Springer
16 years 4 days ago
2005
Springer
In data integration, a Merge operator takes as input a pair of schemas in some conceptual modelling language, together with a set of correspondences between their constructs, and p...
186
click to vote
LCPC
2005
Springer
16 years 3 days ago
2005
Springer
The goal of this work is a systematic approach to compiler optimization for simultaneously optimizing across multiple levels of the memory hierarchy. Our approach combines compiler...
131
click to vote
MICAI
2005
Springer
16 years 3 days ago
2005
Springer
We propose a framework for reactive motion and sensing planning based on critical events. A critical event amounts to crossing a critical curve, which divides the environment. We h...
162
click to vote
UML
2005
Springer
16 years 2 days ago
2005
Springer
In this paper we present a framework for the evaluation and (re)design of modeling languages. We focus here on the evaluation of the suitability of a language to model a set or rea...