1976 search results - page 248 / 396 » Application Semiotics Engineering Process |
108
click to vote
GPCE
2007
Springer
15 years 6 months ago
2007
Springer
Large scale software is composed of libraries produced by different entities. Non-intrusive and efficient mechanisms for adapting data structures from one library to conform to AP...
120
click to vote
DSN
2004
IEEE
15 years 6 months ago
2004
IEEE
This paper explores hardware-implemented error-detection and security mechanisms embedded as modules in a hardware-level framework called the Reliability and Security Engine (RSE)...
116
click to vote
CCE
2006
15 years 2 months ago
2006
The class of stochastic nonlinear programming (SNLP) problems is important in optimization due to the presence of nonlinearity and uncertainty in many applications, including thos...
119
click to vote
VC
2008
15 years 2 months ago
2008
Defining sharp features in a 3D model facilitates a better understanding of the surface and aids geometric processing and graphics applications, such as reconstruction, filtering, ...
119
click to vote
TSE
1998
15 years 2 months ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...