14331 search results - page 205 / 2867 » On the modeling and analysis of obligations |
190
click to vote
PROFES
2000
Springer
15 years 10 months ago
2000
Springer
This paper proposes a model of successful maintenance that can represent how maintainability of each software module changes as it ages. We found that some of the metrics, measured...
135
click to vote
ORL
2007
15 years 6 months ago
2007
We establish the existence results for the Allaz–Vila [B. Allaz, J.-L. Vila, Cournot competition, forward markets and efficiency, J. Econ. Theory 59 (1993) 1–16] forward mark...
153
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
In recent papers it has been suggested that human locomotion may be modeled as an inverse optimal control problem. In this paradigm, the trajectories are assumed to be solutions of...
144
click to vote
TIM
2010
15 years 1 months ago
2010
Abstract--This paper focuses on the errors affecting the estimation of power switching losses in power semiconductor devices based on integration of the voltage by current product....
157
click to vote
IACR
2011
14 years 6 months ago
2011
TLS is the most important cryptographic protocol in use today. However, up to now there is no complete cryptographic security proof in the standard model, nor in any other model. ...