1926 search results - page 233 / 386 » Modeling and Model Checking Software Product Lines |
129
click to vote
GMP
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract. In this paper, parametric polynomial minimal surfaces of degree six with isothermal parameter are discussed. We firstly propose the sufficient and necessary condition of ...
150
click to vote
EOR
2008
15 years 4 months ago
2008
Our problem of interest consists of minimizing a separable, convex and differentiable function over a convex set, defined by bounds on the variables and an explicit constraint des...
143
click to vote
ICAC
2006
IEEE
15 years 10 months ago
2006
IEEE
Traditional High Performance Computing systems require extensive management and suffer from security and configuration problems. This paper presents a new clustermanagement syste...
168
click to vote
DSRT
2008
IEEE
15 years 6 months ago
2008
IEEE
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
129
click to vote
HICSS
2008
IEEE
15 years 11 months ago
2008
IEEE
How to implement an IS (information system) successfully remains a problem. To address this, drawing on information processing theory, this study proposes an integrated model that...