10159 search results - page 516 / 2032 » System Design Validation Using Formal Models |
213
click to vote
GEO
2000
15 years 7 months ago
2000
: In feature modelling, constraints can be used to store design intent in a model. Interaction constraints are an important type of constraints, which limit the extent to which fea...
169
click to vote
DATE
2005
IEEE
15 years 12 months ago
2005
IEEE
Assessing IC manufacturing process fluctuations and their impacts on IC interconnect performance has become unavoidable for modern DSM designs. However, the construction of parame...
142
click to vote
AAAI
2010
15 years 7 months ago
2010
In several application areas for Planning, in particular helping with the creation of new processes in Business Process Management (BPM), a major obstacle lies in the modeling. Ob...
170
click to vote
MCS
2006
Springer
15 years 6 months ago
2006
Springer
The design of the control software for complex systems is a difficult task. It requires the modeling, the simulation, the integration and the adaptation of a multitude of intercon...
180
click to vote
ADBIS
2006
Springer
16 years 7 days ago
2006
Springer
XML is suitable for structuring complex data coming from different sources and supported by heterogeneous formats. It allows a flexible formalism capable to represent and store d...