504 search results - page 38 / 101 » Explaining Verification Conditions |
ESOP
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. While a rigorous information flow analysis is a key step in obtaining meaningful end-to-end confidentiality guarantees, one must also permit possibilities for declassific...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
In today’s grocery the products are getting more homogenous and attributes are getting more complex. Consumers should be supported in their decisions during the shopping process...
TMI
2008
13 years 7 months ago
2008
Abstract-- This paper provides a comprehensive and quantitative review of spatial transformations models for nonrigid image registration. It explains the theoretical foundation of ...
IJMTM
2000
13 years 7 months ago
2000
A reconfigurable manufacturing system (RMS) is designed for rapid adjustment of production capacity and functionality in response to new market conditions and new process technolo...
RECOMB
2009
Springer
14 years 8 months ago
2009
Springer
The dynamics of biological processes are often modeled as systems of nonlinear ordinary differential equations (ODE). An important feature of nonlinear ODEs is that seemingly minor...