1460 search results - page 112 / 292 » Very Lightweight Requirements Modeling |
VSTTE
2005
Springer
14 years 3 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
ASIACRYPT
2003
Springer
14 years 3 months ago
2003
Springer
In this paper, we study some RSA-based semantically secure encryption schemes (IND-CPA) in the standard model. We first derive the exactly tight one-wayness of Rabin-Paillier encr...
EURODAC
1994
IEEE
14 years 2 months ago
1994
IEEE
The simulation of lossy transmission lines in the time domain is a very time consuming task. It requires numerical convolutions and the solution of linear and nonlinear equation s...
CBMS
1995
IEEE
14 years 1 months ago
1995
IEEE
Complex clinical problems involving huge experimental evidence require a preliminary validation of observed data. This may avoid biasing due to incorrect sampling and clarify the ...
MMB
2010
Springer
14 years 5 days ago
2010
Springer
Phase-type (PH) distributions are proven to be very powerful tools in modelling and analysis of a wide range of phenomena in computer systems. The use of these distributions in sim...