Sciweavers

2703 search results - page 504 / 541
» Learning operational requirements from goal models
Sort
View
SIGSOFT
2010
ACM
13 years 6 months ago
Realizability analysis for message-based interactions using shared-state projections
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
Sylvain Hallé, Tevfik Bultan
ICASSP
2009
IEEE
13 years 6 months ago
Fast belief propagation process element for high-quality stereo estimation
Belief propagation is a popular global optimization technique for many computer vision problems. However, it requires extensive computation due to the iterative message passing op...
Chao-Chung Cheng, Chia-Kai Liang, Yen-Chieh Lai, H...
EWHCI
1993
14 years 1 months ago
Applying the Wizard of Oz Technique to the Study of Multimodal Systems
The Wizard of Oz (WOz) technique is an experimental evaluation mechanism. It allows the observation of a user operating an apparently fully functioning system whose missing service...
Daniel Salber, Joëlle Coutaz
SP
1989
IEEE
160views Security Privacy» more  SP 1989»
14 years 1 months ago
The Chinese Wall Security Policy
Everyone who has seen the movie Wall Street will have seen a commercial security policy in action. The recent work of Clark and Wilson and the WIPCIS initiative (the Workshop on I...
D. F. C. Brewer, M. J. Nash
APVIS
2004
13 years 10 months ago
Semi-Automatic Feature Delineation In Medical Images
Resection or ablation of tumours is one treatment available for liver cancer. This delicate operation consists of removing the tumour(s) and surrounding healthy tissues. The surge...
Robin Martin, Nicole Bordes, Thomas Hugh, Bernard ...