Sciweavers

5101 search results - page 498 / 1021
» Capturing Context Requirements
Sort
View
VISUALIZATION
2002
IEEE
15 years 12 months ago
A Case Study on Multiresolution Visualization of Local Rainfall from Weather Radar Measurements
Weather radars can measure the backscatter from rain drops in the atmosphere. A complete radar scan provides three–dimensional precipitation information. For the understanding o...
Thomas Gerstner, Dirk Meetschen, Susanne Crewell, ...
WCRE
2002
IEEE
15 years 12 months ago
A Methodology for Developing Transformations Using the Maintainability Soft-Goal Graph
Over the past few years, we are experiencing a surge of evolution problems related to legacy object-oriented systems. Object orientation provides means for systems to be well-desi...
Ladan Tahvildari, Kostas Kontogiannis
EUROCRYPT
2010
Springer
15 years 12 months ago
Computational Soundness, Co-induction, and Encryption Cycles
We analyze the relation between induction, co-induction and the presence of encryption cycles in the context of computationally sound symbolic equivalence of cryptographic express...
Daniele Micciancio
ACIVS
2009
Springer
15 years 11 months ago
Self-assessed Contrast-Maximizing Adaptive Region Growing
In the context of an experimental virtual-reality surgical planning software platform, we propose a fully self-assessed adaptive region growing segmentation algorithm. Our method s...
Carlos S. Mendoza, Begoña Acha, Carmen Serr...
GI
2009
Springer
15 years 11 months ago
Constraint Checking for Business Process Management
: Compliance management tackles issues related to both modelling and enforcement of business constraints in enterprises. In the context of business process management, we propose a...
Wolfgang Runte, Marwane El Kharbili