10038 search results - page 328 / 2008 » Model Checking for Managers |
177
click to vote
EOR
2008
15 years 6 months ago
2008
Intense competition in many industries impels firms to develop more products in less time. Overlapping of development activities is regarded as one of the most promising strategie...
195
click to vote
APCSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, a runtime performance projection model for dynamic power management is proposed. The model is built as a first-order linear equation using a linear regression model....
146
click to vote
CERA
2010
2010
A Framework of Describing and Managing Engineering Analysis Modeling Knowledge for Design Validation
15 years 6 months ago
Engineering design is validated by engineering analysis. In the process for predicting the physical behavior of the design, the design components, physical mechanisms, etc. are id...
172
click to vote
AICOM
2008
15 years 6 months ago
2008
Since speaker's intentions can be represented into domain actions (pairs of domain-independent speech acts and domain-dependent concept sequences) in goal-oriented dialogues,...
200
click to vote
ECMDAFA
2009
Springer
15 years 4 months ago
2009
Springer
Technological and business changes influence the evolution of software systems. When this happens, the software artifacts may need to be adapted to the changes. This need is rapidl...