1802 search results - page 90 / 361 » Using Declarative Specifications in Business Process Design |
FDL
2005
IEEE
15 years 5 months ago
2005
IEEE
To address performance limitations and expand their applications range, emerging and mature display technologies rely on the design of novel display controllers. Under current mod...
WSC
2000
15 years 22 days ago
2000
As part of the design of the next generation Naval Amphibious Transport Dock Ship (LPD17), simulation was used to evaluate the arrangement and flow of cargo on the ship and to int...
ASYNC
2007
IEEE
15 years 3 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...
SIGSOFT
2008
ACM
16 years 4 days ago
2008
ACM
We observed a general problem of sequential programs, which often results in design and programming errors in industrial software engineering projects, and propose a solution appr...
GECCO
2007
Springer
15 years 5 months ago
2007
Springer
This paper introduces a continuous model for Multi-cellular Developmental Design. The cells are fixed on a 2D grid and exchange ”chemicals” with their neighbors during the gr...