2832 search results - page 342 / 567 » Flexible Modelling for Requirements Engineering |
173
click to vote
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
While the increasing need for addressing process variability in sub-90nm VLSI technologies has sparkled a large body of statistical timing and optimization research, the realizati...
158
click to vote
ICAS
2006
IEEE
16 years 17 days ago
2006
IEEE
Autonomic systems are typically distributed, complex and concurrent systems, comprised of multiple interacting autonomic elements that often exhibit emergent behavior. Design and ...
193
click to vote
ISM
2005
IEEE
16 years 3 days ago
2005
IEEE
The development of highly interactive multimedia applications is still a challenging and complex task. In addition to the application logic multimedia applications typically provi...
155
click to vote
EMSOFT
2003
Springer
15 years 11 months ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
194
click to vote
BPM
2007
Springer
15 years 10 months ago
2007
Springer
To facilitate the implementation of workflows, enterprise and workflow system vendors typically provide sets of workflow templates for their software. Each of these templates depic...