1746 search results - page 272 / 350 » A Constructive Semantics for ALC |
ICDCS
2008
IEEE
14 years 4 months ago
2008
IEEE
We introduce a Write-Once Read-Many (WORM) storage system providing strong assurances of data retention and compliant migration, by leveraging trusted secure hardware in close dat...
ICDCS
2008
IEEE
14 years 4 months ago
2008
IEEE
3D tele-immersion (3DTI) has recently emerged as a new way of video-mediated collaboration across the Internet. Unlike conventional 2D video-conferencing systems, it can immerse r...
ICSM
2008
IEEE
14 years 4 months ago
2008
IEEE
Change impact analysis is a useful technique for software evolution. It determines the effects of a source editing session and provides valuable feedbacks to the programmers for m...
ICST
2008
IEEE
14 years 4 months ago
2008
IEEE
Ajax supports the development of rich-client Web applications, by providing primitives for the execution of asynchronous requests and for the dynamic update of the page structure ...
ISM
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper, we propose a tree-based multidimensional structure, GeM-Tree, which indexes both images and videos within a single general framework utilizing Earth Mover’s Dista...