Sciweavers

4762 search results - page 591 / 953
» About the use of protein models
Sort
View
EUROCRYPT
2003
Springer
16 years 2 days ago
Why Provable Security Matters?
Abstract. Recently, methods from provable security, that had been developped for the last twenty years within the research community, have been extensively used to support emerging...
Jacques Stern
206
Voted
GI
2009
Springer
15 years 11 months ago
Area Preserving Parameterisation of Shapes with Spherical Topology
: Statistical shape models are powerful tools for model-based segmentation and have been sucessfully applied to the segmentation of various structures in medical images. Though the...
Matthias Kirschner, Stefan Wesarg
ICSE
2001
IEEE-ACM
15 years 11 months ago
A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints
In requirements elicitation, different stakeholders often hold different views of how a proposed system should behave, resulting in inconsistencies between their descriptions. Con...
Steve M. Easterbrook, Marsha Chechik
SAFECOMP
1999
Springer
15 years 11 months ago
Towards Statistical Control of an Industrial Test Process
We present an ongoing experience aimed at introducing statistical process control techniques to one crucial test phase, namely Function Test, of a real world software development p...
Gaetano Lombardi, Emilia Peciola, Raffaela Mirando...
ECOOP
2008
Springer
15 years 8 months ago
Externalizing Java Server Concurrency with CAL
One of the most important decisions about the architecture of a server program is its concurrency mechanisms. However, a good concurrency model for general-purpose server programs ...
Charles Zhang, Hans-Arno Jacobsen