Sciweavers

3628 search results - page 552 / 726
» Managing Data Quality in Cooperative Information Systems
Sort
View
COMPSAC
2007
IEEE
15 years 10 months ago
AOP-based automated unit test classification of large benchmarks
Despite the availability of a variety of program analysis tools, evaluation of these tools is difficult, as only few benchmark suites exist. Existing benchmark suites lack the uni...
Cyrille Artho, Zhongwei Chen, Shinichi Honiden
TMI
2010
132views more  TMI 2010»
15 years 1 months ago
Joint Reconstruction of Image and Motion in Gated Positron Emission Tomography
We present a novel method for joint reconstruction of both image and motion in positron-emission-tomography (PET). Most other methods separate image from motion estimation: They us...
Moritz Blume, Axel Martinez-Möller, Andreas K...
WPES
2006
ACM
16 years 15 days ago
A privacy-preserving interdomain audit framework
Recent trends in Internet computing have led to the popularization of many forms of virtual organizations. Examples include supply chain management, grid computing, and collaborat...
Adam J. Lee, Parisa Tabriz, Nikita Borisov
POPL
2005
ACM
16 years 6 months ago
Downgrading policies and relaxed noninterference
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
Peng Li, Steve Zdancewic
MDM
2009
Springer
130views Communications» more  MDM 2009»
16 years 1 months ago
Towards an Indoor Level-of-Detail Model for Route Visualization
Indoor routing represents an essential feature required by applications and systems that provide spatial information about complex sites, buildings and infrastructures such as in ...
Benjamin Hagedorn, Matthias Trapp, Tassilo Glander...