5525 search results - page 844 / 1105 » Verification of Model Transformations |
180
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
There are ontology domain concepts that can be represented according to multiple alternative classification criteria. Current ontology modeling guidelines do not explicitly conside...
161
click to vote
GCC
2009
Springer
15 years 4 months ago
2009
Springer
The design and development of a complex system as well as the simulation of its dynamic behavior are usually involved in multidisciplinary field knowledge. HLA-based collaborative ...
193
click to vote
TIT
2011
15 years 1 months ago
2011
Abstract. In 1998, Blaze, Bleumer, and Strauss proposed a cryptographic primitive called proxy re-encryption, in which a proxy transforms – without seeing the corresponding plain...
163
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
We present a study of radiometric calibration and the incamera imaging process through an extensive analysis of more than 10,000 images from over 30 cameras. The goal is to invest...
285
click to vote
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
Active Data Warehousing has emerged as an alternative to conventional warehousing practices in order to meet the high demand of applications for up-to-date information. In a nutsh...