Sciweavers

1288 search results - page 196 / 258
» Securing aspect composition
Sort
View
ICSOC
2010
Springer
15 years 4 months ago
Service Discovery Using Communication Fingerprints
A request to a service registry must be answered with a service that fits in several regards, including semantic compatibility, non-functional compatibility, and interface compati...
Olivia Oanea, Jan Sürmeli, Karsten Wolf
CVPR
2010
IEEE
15 years 3 months ago
Image restoration and disparity estimation from an uncalibrated multi-layered image
Watching a reflection in a glass window, one can often observe a multi-layered image consisting of a frontsurface reflection from the glass and a rear-surface reflection through t...
Takahiro Yano, Masao Shimizu, Masatoshi Okutomi
CORR
2011
Springer
165views Education» more  CORR 2011»
15 years 1 months ago
From IF to BI: a tale of dependence and separation
We take a fresh look at the logics of informational dependence and independence of Hintikka and Sandu and V¨a¨an¨anen, and their compositional semantics due to Hodges. We show h...
Samson Abramsky, Jouko A. Väänänen
SI3D
2005
ACM
15 years 11 months ago
Texture sprites: texture elements splatted on surfaces
We present a new interactive method to texture complex geometries at very high resolution, while using little memory and without the need for a global planar parameterization. We ...
Sylvain Lefebvre, Samuel Hornus, Fabrice Neyret
ISSTA
2004
ACM
15 years 11 months ago
Verifying process models built using parameterized state machines
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
Barbara Staudt Lerner