Sciweavers

3971 search results - page 408 / 795
» On the Use of Properties in Java Applications
Sort
View
SIGOPSE
2004
ACM
16 years 8 days ago
Trust but verify: accountability for network services
This paper promotes accountability as a central design goal for dependable networked systems. We define three properties for accountable systems that extend beyond the basic secu...
Aydan R. Yumerefendi, Jeffrey S. Chase
CIARP
2003
Springer
16 years 2 days ago
Robust Estimation of Roughness Parameter in SAR Amplitude Images
The precise knowledge of the statistical properties of synthetic aperture radar (SAR) data plays a central role in image processing and understanding. These properties can be used ...
Héctor Allende, Luis Pizarro
CVPR
2010
IEEE
15 years 11 months ago
Object Separation In X-Ray Image Sets
In the segmentation of natural images, most algorithms rely on the concept of occlusion. In x-ray images, however, this assumption is violated, since x-ray photons penetrate most ...
Geremy Heitz, Gal Chechik
GD
1995
Springer
15 years 10 months ago
Graph Layout Adjustment Strategies
Abstract. When adjusting a graph layout, it is often desirable to preserve various properties of the original graph in the adjusted view. Pertinent properties may include straightn...
Margaret-Anne D. Storey, Hausi A. Müller
BPM
2006
Springer
128views Business» more  BPM 2006»
15 years 8 months ago
Towards Formal Verification of Web Service Composition
Abstract. Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition propos...
Mohsen Rouached, Olivier Perrin, Claude Godart