1802 search results - page 265 / 361 » Using Declarative Specifications in Business Process Design |
ICCAD
2006
IEEE
15 years 8 months ago
2006
IEEE
Reliable prediction of parametric yield for a specific design is difficult; a significant reason is the reliance of the yield estimation methods on the hard-to-measure distributio...
117
click to vote
JBCS
2010
14 years 10 months ago
2010
We present an incarnation of the Enterprise Physics vision sketched in [3] that provides automatic or semi-automatic support for evolution and change management in heterogeneous le...
ICSE
2005
IEEE-ACM
15 years 11 months ago
2005
IEEE-ACM
In this paper, I make a case for integration of requirements engineering (RE) with clinical disciplines. To back my case, I look at two examples that employ a clinical RE approach...
129
click to vote
CCECE
2006
IEEE
15 years 5 months ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
DAC
2008
ACM
16 years 17 days ago
2008
ACM
In this paper, a novel automatic approach for the concurrent topology and routing optimization that achieves a high quality network layout is proposed. This optimization is based ...