5726 search results - page 107 / 1146 » Supporting annotations on relations |
EDBT
2010
ACM
14 years 1 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...
DRR
2010
14 years 23 days ago
2010
Biomedical images are invaluable in establishing diagnosis, acquiring technical skills, and implementing best practices in many areas of medicine. At present, images needed for in...
ESWS
2007
Springer
14 years 2 months ago
2007
Springer
The SUPER project presents a novel approach to BPM by using Semantic Web and Semantic Web Services. Existing processes can be augmented with semantic annotations, so that formal re...
NAR
2008
13 years 8 months ago
2008
MicroRNAs (miRNAs) constitute an important class of regulators that are involved in various cellular and disease processes. However, the functional significance of each miRNA is m...
CSFW
2002
IEEE
14 years 3 months ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...