Sciweavers

1301 search results - page 12 / 261
» Specifications via Realizability
Sort
View
ICC
2008
IEEE
14 years 1 months ago
Evading User-Specific Offensive Web Pages via Large-Scale Collaborations
Mingwei Xu, Qinghua Li, Xue Zhi Jiang, Yong Cui
CVPR
2006
IEEE
13 years 11 months ago
Ultrasound-Specific Segmentation via Decorrelation and Statistical Region-Based Active Contours
Segmentation of ultrasound images is often a very challenging task due to speckle noise that contaminates the image. It is well known that speckle noise exhibits an asymmetric dis...
Gregory G. Slabaugh, Gozde B. Unal, Tong Fang, Mic...
FM
2008
Springer
107views Formal Methods» more  FM 2008»
13 years 9 months ago
Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation
Carlo A. Furia, Matteo Pradella, Matteo Rossi
ICISS
2009
Springer
13 years 5 months ago
Method-Specific Java Access Control via RMI Proxy Objects Using Annotations
We propose a novel approach for granting partial access on arbitrary objects at the granularity of methods to remote clients. The applications that we target use Remote Method Invo...
Jeff Zarnett, Patrick Lam, Mahesh V. Tripunitara