734 search results - page 36 / 147 » Narrowing the Narrowing Space |
ICECCS
1997
IEEE
14 years 1 months ago
1997
IEEE
An approach to problem analysis is described, based on the notion of a problem frame. Problem frames are intended to capture classes of recognisable and soluble problems. Because ...
CCS
2008
ACM
13 years 11 months ago
2008
ACM
We intend to narrow the gap between concrete implementations of cryptographic protocols and their verified models. We develop and verify a small functional implementation of the T...
UAI
1990
13 years 10 months ago
1990
In this paper, we extend the QMR-DT probabilistic model for the domain of internal medicine to include decisions about treatments. In addition, we describe how we can use the comp...
RC
2006
13 years 9 months ago
2006
Recently, a direct method for outer solution of linear parametric systems has been suggested for the general case where the elements of the system are nonlinear functions of indepe...
SPLC
2000
13 years 10 months ago
2000
: Framelets and implementation cases are new concepts to manage the complexity of product line development. Framelets are "small product lines" that address, as self-stan...