26472 search results - page 5069 / 5295 » Interactive |
153
click to vote
EDBT
2010
ACM
15 years 8 months ago
2010
ACM
The specification of schema mappings has proved to be time and resource consuming, and has been recognized as a critical bottleneck to the large scale deployment of data integrati...
198
Voted
ECOWS
2009
Springer
15 years 8 months ago
2009
Springer
—Recently, Semantic Web Services have been increasingly adopted to search, access and manipulate information made available from autonomous and heterogeneous systems interacting ...
151
click to vote
GLOBECOM
2009
IEEE
15 years 8 months ago
2009
IEEE
—This paper considers a non-cooperative game in which competing users sharing a frequency-selective interference channel selfishly optimize their power allocation in order to imp...
156
Voted
CSFW
2010
IEEE
15 years 8 months ago
2010
IEEE
We consider the problem of automating open bisimulation checking for the spi-calculus, an extension of the pi-calculus with cryptographic primitives. The notion of open bisimulatio...
133
click to vote
ACSD
2009
IEEE
15 years 7 months ago
2009
IEEE
Protocol conversion deals with the automatic synthesis of an additional component, often referred to as an adaptor or a converter, to bridge mismatches between interacting compone...